fixing typo
machine-generated version