Shorter index.html