Fix small issue in mod_menu