Add magic comment to specify the coding