Fixed minor error in comments