fix a copy-paste