fix a daft copy-paste mistake