corrections in menu.js