fixed some encoding errors