add @jondeandres to THANKS