diff --git a/preprocessor/DynareBison.yy b/preprocessor/DynareBison.yy
index ca14f4408..dfc223b40 100644
--- a/preprocessor/DynareBison.yy
+++ b/preprocessor/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/preprocessor/NumericalInitialization.cc b/preprocessor/NumericalInitialization.cc
index 8b0a447b4..d0d38ff68 100644
--- a/preprocessor/NumericalInitialization.cc
+++ b/preprocessor/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/preprocessor/ParsingDriver.cc b/preprocessor/ParsingDriver.cc
index 0766301ed..b6378479b 100644
--- a/preprocessor/ParsingDriver.cc
+++ b/preprocessor/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/preprocessor/include/NumericalInitialization.hh b/preprocessor/include/NumericalInitialization.hh
index 2dad9a9be..ff9e4ed31 100644
--- a/preprocessor/include/NumericalInitialization.hh
+++ b/preprocessor/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;
 };