Further updates to THANKS file