Fix encoding that crept in. (Thanks to Piet D. for pointing this out)