fix a copy-paste error