Fix encoding error #17