Minor update of doc/THANKS