BugFix: really check whether a PDF was/can be loaded