fix small encoding issues