Fixed some encoding errors recently introduced.