Corrected extension for generated HTML files.