Fix travis config misprint