minor rename of html menu tag