fix some minor source encoding problems