Minor error in a comment