Fixed messup at HTML_TITLE