Fix a copy/paste error spotted by wickedshell.