(minor) Remove non-ASCII characters.