Fix travis configuration file syntax