Fix travis config syntax