Small modifications to vanilla index.html after W3C validation