--- a/src/ai/default/default.cpp	Fri Apr 18 03:20:59 2008 +0000
+++ b/src/ai/default/default.cpp	Fri Apr 18 04:37:06 2008 +0000
@@ -3995,11 +3995,11 @@
 		if (_players_ai[p->index].state != old_state) {
 			if (hasdots)
 				printf("\n");
-			hasdots=false;
+			hasdots = false;
 			printf("AiState: %s\n", _ai_state_names[old_state=_players_ai[p->index].state]);
 		} else {
 			printf(".");
-			hasdots=true;
+			hasdots = true;
 		}
 	}
 #endif