fixed a minor error in the comments