Slight tweaks to index.html