Fixed bug in menu.h