fixing some encoding errors