minor error in comments