--- a/src/autoreplace_gui.cpp	Sat Dec 15 23:11:18 2007 +0000
+++ b/src/autoreplace_gui.cpp	Sun Dec 16 10:54:08 2007 +0000
@@ -240,7 +240,7 @@
 
 			Player *p = GetPlayer(_local_player);
 			EngineID selected_id[2];
-			const GroupID selected_group = WP(w,replaceveh_d).sel_group;
+			const GroupID selected_group = WP(w, replaceveh_d).sel_group;
 
 			selected_id[0] = WP(w, replaceveh_d).sel_engine[0];
 			selected_id[1] = WP(w, replaceveh_d).sel_engine[1];