minor change in travis

keep track about the weird error of Coverage