made the HTML file match the .tct file.