Consistently use "utf-8" (not "utf8") in magic comment giving source encoding.