Fix Cobertura parse error