Fixup #103

#103 (commit dd1e672) only touched the index.html thereby reverting the changes upon re-generating. This PR properly fixes the issue.

(You really should not accept PRs that *only* touch index.html – the changes will get lost sooner or later.)