added kern/THANKS