fix numbering in index.html