Fix error with namings of html file