Fix manual

We will need to regenerate manual.pdf before the release with this patch.