remove another useless sanity check in check.pp