minor tweaks + checking of the pdf