Fix building the manual