diff --git a/DynareBison.yy b/DynareBison.yy
index ca14f4408804417ccd953e85681c68a13ee9aa5a..dfc223b400fa02111c56604348f05808dccd035f 100644
--- a/DynareBison.yy
+++ b/DynareBison.yy
@@ -673,7 +673,11 @@ symbol_list : symbol_list NAME
              ;
 
 symbol_list_ext : symbol_list
-| ':' {std::string* colon=new std::string(":");driver.add_in_symbol_list(colon);}
+                | ':'
+                  {
+                    string *colon = new string(":");
+                    driver.add_in_symbol_list(colon);
+                  }
                 ;
 
 signed_integer : PLUS INT_NUMBER
diff --git a/NumericalInitialization.cc b/NumericalInitialization.cc
index 8b0a447b473cf24d5a44f76eb76434a3fd742918..d0d38ff68a50eebb2244b0521d1d8ec28efa01c7 100644
--- a/NumericalInitialization.cc
+++ b/NumericalInitialization.cc
@@ -153,17 +153,18 @@ HistValStatement::writeOutput(ostream &output, const string &basename) const
     }
 }
 
-InitvalFileStatement::InitvalFileStatement(const string* const filename_arg):
-  filename(*filename_arg)
+InitvalFileStatement::InitvalFileStatement(const string &filename_arg) :
+  filename(filename_arg)
 {
 }
 
-void InitvalFileStatement::writeOutput(ostream &output, const string &basename) const
+void
+InitvalFileStatement::writeOutput(ostream &output, const string &basename) const
 {
   output << interfaces::comment() << endl
          << interfaces::comment() << "INITVAL_FILE statement" << endl
          << interfaces::comment() << endl
-         << "options_.intival_file = 1;" << endl;
+         << "options_.initval_file = 1;" << endl;
 
   output << "initvalf('" << filename << "');" << endl;
 }
diff --git a/ParsingDriver.cc b/ParsingDriver.cc
index 0766301edc0a3564af37a703a8e9c4d1ac586896..b6378479b251cbbbfdd1573fdf79eba00f3e4c51 100644
--- a/ParsingDriver.cc
+++ b/ParsingDriver.cc
@@ -307,7 +307,7 @@ ParsingDriver::init_val(string *name, NodeID rhs)
 void
 ParsingDriver::initval_file(string *filename)
 {
-  mod_file->addStatement(new InitvalFileStatement(filename));
+  mod_file->addStatement(new InitvalFileStatement(*filename));
   delete filename;
 }
 
diff --git a/include/NumericalInitialization.hh b/include/NumericalInitialization.hh
index 2dad9a9be924ef263b60733fa6254c16c85c4549..ff9e4ed31bde636e3a7eb90833ecc6e529225310 100644
--- a/include/NumericalInitialization.hh
+++ b/include/NumericalInitialization.hh
@@ -95,9 +95,9 @@ public:
 class InitvalFileStatement : public Statement
 {
 private:
-  string filename;
+  const string filename;
 public:
-  InitvalFileStatement(const string* const  filename);
+  InitvalFileStatement(const string &filename_arg);
   virtual void writeOutput(ostream &output, const string &basename) const;
 };