Removing redundant things.