Character encoding issues

A few files were being saved in ISO-8859 instead of UTF-8 encoding.