Fix building of the manual

Commit b23fae9 seems to have broken the manual.