Index: libcfa/prelude/bootloader.cf
===================================================================
--- libcfa/prelude/bootloader.cf	(revision 8a1d62b6ede909a6414b6d518e069975842244df)
+++ libcfa/prelude/bootloader.cf	(revision 8f2aa3ca8b954701c30e7fc4d6441cb384379d6c)
@@ -1,3 +1,3 @@
-extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }
+extern "C" { static inline int invoke_main( int argc, char * argv[], char * envp[]); }
 int cfa_args_argc;
 char ** cfa_args_argv;
@@ -5,10 +5,10 @@
 __attribute__((weak)) extern int cfa_main_returned;
 
-int main(int argc, char* argv[], char* envp[]) {
+int main( int argc, char * argv[], char * envp[] ) {
 	cfa_args_argc = argc;
 	cfa_args_argv = argv;
 	cfa_args_envp = envp;
 	int ret = invoke_main(argc, argv, envp);
-	if(&cfa_main_returned) cfa_main_returned = 1;
+	if( &cfa_main_returned ) cfa_main_returned = 1;
 	return ret;
 }