Fix syntax of travis file