Fix error in a comment