Fix a copy/paste mistake