small tweak in testgame_functions.php