diff -r 3242eca6d637 -r 8443e1eefe1b misc_gui.c
--- a/misc_gui.c	Fri Sep 30 09:58:59 2005 +0000
+++ b/misc_gui.c	Fri Sep 30 20:37:25 2005 +0000
@@ -484,7 +484,7 @@
 					_errmsg_message_1,
 					238);
 		} else {
-			Player *p = GetPlayer(GetDParamX(_errmsg_decode_params,2));
+			const Player* p = GetPlayer(GetDParamX(_errmsg_decode_params,2));
 			DrawPlayerFace(p->face, p->player_color, 2, 16);
 
 			DrawStringMultiCenter(