diff --git a/src/compiler.c b/src/compiler.c
index 676ef4c..06fbc4b 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -2214,9 +2214,9 @@ preprocess (const System sys)
    * Check well-formedness
    */
   /* TODO Temporarily disabled wellformedness check (well-formedness) after Simon bug reporting.
-  if (sys->knowledgedefined)
-    {
-      checkWellFormed (sys);
-    }
-  */
+     if (sys->knowledgedefined)
+     {
+     checkWellFormed (sys);
+     }
+   */
 }
diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c
index f298cfb..b0c0fc9 100644
--- a/src/intruderknowledge.c
+++ b/src/intruderknowledge.c
@@ -116,10 +116,10 @@ void
 initialIntruderKnowledge (const System sys)
 {
   /*
-  TODO this is buggy and leads to a segfault with Simon's example (bug report for wellformedness check)
-  Disabled for now.
-  ./scyther-linux simple-challenge-SEGFAULT.spdl
-  */
+     TODO this is buggy and leads to a segfault with Simon's example (bug report for wellformedness check)
+     Disabled for now.
+     ./scyther-linux simple-challenge-SEGFAULT.spdl
+   */
   return;
 
   /*