fix an error in comments