Fix in travis config.