Fix illegal access in PrChecker2

This is already fixed in !62 (merged), which contains other changes. Here only the problem is fixed and the behaviour of PrChecker is otherwise unchanged.