Fixed some Cobertura ignores