jquery.menu.js: Linter fixes.