Fix syntax error in Travis config