Fix in Travis Configuration