fix a copy-paste mistake