Typo in the above.

The docs do not build. Possibly related to the typo above. Please check that 'make html' does run and produce a sensible doc.