diff -r 15753a8438ba -r 1bfbb0dc0b75 main_gui.c
--- a/main_gui.c	Tue Sep 27 20:55:42 2005 +0000
+++ b/main_gui.c	Wed Sep 28 19:35:36 2005 +0000
@@ -1889,8 +1889,7 @@
 	} break;
 
 	case WE_KEYPRESS: {
-		int local = _local_player;
-		if (local == 0xff) local = 0; // spectator
+		PlayerID local = (_local_player != OWNER_SPECTATOR) ? _local_player : 0;
 
 		switch(e->keypress.keycode) {
 		case WKC_F1: case WKC_PAUSE: