removed trivial redundancy