Correct a copy-paste mistake.