It seems to me that it's not necessary to specify encoding at the top of the file.