Undo some unintended UTF-8 muckups from my last commit.