Fix ö in THANKS -- put in UTF-8 character