Fix travis config error