Fix the travis script syntax