Fix the version tag for html_title