Code Coverage: Cobertura fix