small improvement to menu; remove useless line