correction stupid cobertura/coveralls configuration