Fix error in THANKS