index.html: Typos, minor formatting quick-fix.