fix some copy-and-paste typos