Fix a copy-paste failure.