Fix PDF documentation