Made file name consistent with the other HTML files.