remove trivial redundancy