Fix typo in THANKS