a small correction in comment