assorted fixes to the documentation and PDF rendering