diff --git a/src/utility/cli.cpp b/src/utility/cli.cpp
index efa026c7e..106ea143c 100644
--- a/src/utility/cli.cpp
+++ b/src/utility/cli.cpp
@@ -212,7 +212,7 @@ namespace storm {
                 boost::optional<storm::prism::Program> program;
                 if (settings.isSymbolicSet()) {
                     std::string const& programFile = settings.getSymbolicModelFilename();
-                    program = storm::parser::PrismParser::parse(programFile).simplify();
+                    program = storm::parser::PrismParser::parse(programFile).simplify().simplify();
                     
                     program->checkValidity();
                     std::cout << program.get() << std::endl;