Minor update to ConstrainCheck