Restmenu: more use of sizeof