Fix tutorial table of contents at tutorial/index.html