changed name of HTML page