enhance encryption test in "testPdfOk" (it might be redundant now, check later)