bug fix in cobertura conversion