The HTML_VERSION variable here should be expanded.