PDF: correctness tweaks