Updated file name for JS and JS pointer in the HTML file.