Fix name in THANKS section