Fix travis instructions