Small redundancy fix