Rename of HTML file