Fix coverage on travis