Fix the version tag for html_title

#5177