Integrating fix #62, proposed by @limenet. New PDFs