Fix copy/paste mistake from Codex.