Fix actual unicode in source, add comment banner.