Fixes (#58) -- Problems with the table of contents are almost always due to mistakes in the HTML