correction to THANKS