minor typo correction for autogenerated comments