Minor updates on index.html and main.js