diff --git a/Statement.cc b/Statement.cc
index c7b6dd48717da69d66bf4027167aa442f16c4d04..5884c685370007404fbce739f1d42479ea87cb88 100644
--- a/Statement.cc
+++ b/Statement.cc
@@ -185,11 +185,11 @@ OptionsList::writeOutput(ostream &output) const
       output << "options_." << it->first << " = ";
       if (it->second.size() > 1)
         {
-          output << "[";
+          output << "{";
           for (vector<string>::const_iterator viit = it->second.begin();
                viit != it->second.end(); viit++)
             output << "'" << *viit << "';";
-          output << "];" << endl;
+          output << "};" << endl;
         }
       else
         output << it->second.front() << ";" << endl;
@@ -253,11 +253,11 @@ OptionsList::writeOutput(ostream &output, const string &option_group) const
       output << option_group << "." << it->first << " = ";
       if (it->second.size() > 1)
         {
-          output << "[";
+          output << "{";
           for (vector<string>::const_iterator viit = it->second.begin();
                viit != it->second.end(); viit++)
             output << "'" << *viit << "';";
-          output << "];" << endl;
+          output << "};" << endl;
         }
       else
         output <<  it->second.front() << ";" << endl;