Fixes repeat(#7) on index.html, as well.