Tweaks to the documentation so the PDF version will build