Add "encoding" magic comment