minor redundancy fix