More tweaks on the language in index.html