Deleted duplicates

Deleted duplicates that didn't come through in the last commit.