Adds # encoding: UTF-8