Fix really-dumb typo in previous commit.