Fix in a comment