--- a/src/engine.cpp	Fri Feb 15 18:40:42 2008 +0000
+++ b/src/engine.cpp	Fri Feb 15 21:05:46 2008 +0000
@@ -204,7 +204,7 @@
 	PlayerID best_player;
 	uint mask = 0;
 
-	for (; pp != 0; pp--) {
+	do {
 		best_hist = -1;
 		best_player = PLAYER_SPECTATOR;
 		FOR_ALL_PLAYERS(p) {
@@ -218,7 +218,7 @@
 		if (best_player == PLAYER_SPECTATOR) return PLAYER_SPECTATOR;
 
 		SetBit(mask, best_player);
-	}
+	} while (--p != 0);
 
 	return best_player;
 }