fix a copy-paste typo