Fix the first bug in the coverages.csv file generated by parse_cov_results.py