Fix a copy-paste bug