fix bugs with cobertura