Simplifications in index.html