qed: Correct PF-sanity check