According to the allfixes.txt attachment, there are 19 files with a maximum covering bigger than 50K chars. Let's fix them first.