Fix dumb typo that had been there since bug 24826.