Small correction in the comments