fix lint issue in GameTimer