Tiny improvements of the pdf fuzzer