Some more small updates for index.html