Fix the THANKS file.