Removing silly redundancy