add missing people to THANKS