Add Dennis Docter to THANKS