#2 Fix travis script