jquery.menu.js: Bug fixes, minor improvements.