Small cleanup to a check in the domination code