small correction in the comments