Minor touch up around javascript menu navigation