Fix HTML file name