Cut-and-paste typo fix