Fixed some minor things in the PDF