Fixed glitch in menu().