Index: trunk/i386/boot2/options.c
===================================================================
--- trunk/i386/boot2/options.c	(revision 2053)
+++ trunk/i386/boot2/options.c	(revision 2054)
@@ -212,7 +212,7 @@
 		clearScreenRows( row, kScreenLastRow );
 	}
 
-  clearBootArgs();
+    clearBootArgs();
 
 	if (visible) {
 		if (bootArgs->Video.v_display == VGA_TEXT_MODE) {
@@ -225,7 +225,7 @@
 		}
 	} else {
 		if (bootArgs->Video.v_display != VGA_TEXT_MODE) {
-      clearGraphicBootPrompt();
+        clearGraphicBootPrompt();
 		} else {
 			printf("Press Enter to start up the foreign OS. ");
 		}