diff -r 1285c0b3a4de -r 0405e98d8e96 src/strings.cpp --- a/src/strings.cpp Thu Jul 17 16:38:26 2008 +0000 +++ b/src/strings.cpp Thu Jul 17 20:13:01 2008 +0000 @@ -959,7 +959,7 @@ PlayerID player = (PlayerID)GetInt32(&argv); /* Nothing is added for AI or inactive players */ - if (IsHumanPlayer(player) && IsValidPlayer(player)) { + if (IsHumanPlayer(player) && IsValidPlayerID(player)) { int64 args[1]; args[0] = player + 1; buff = GetStringWithArgs(buff, STR_7002_PLAYER, args, last);