Fix in an outdate comment