Update mainfile.html