Re: A few trivial Unicode-Ascii fixes