Fix a copy-paste error