SuperTux: minor fix