Minor cleanups to JS and HTML.