add Richard Jones to THANKS