Fix redundancy in a comment