Fix coverage in travis config