a tiny addition to pause menu