Issue #18: user can now pause the game