Fix build of the manual