Fix redundancy in docs