Delete minor redundancy