Fixed some file-encoding issues.