Fix syntax of travis.yaml