Fixes for rendering the manual as PDF.