Update menu.c

Should be appended to my previous pull request as far as I know...