Fix syntax error in travis config