index.html: typos, part 1