trying to fix coverage on travis ci