Minor fixes to pdf