Fix html menu
Make jslint happy