Fix syntax error in travis CI config