Get rid of a redundant clause