diff --git a/src/knowledge.c b/src/knowledge.c
index 66bde5e..255790b 100644
--- a/src/knowledge.c
+++ b/src/knowledge.c
@@ -359,9 +359,9 @@ knowledgePrintShort (const Knowledge know)
     {
       termlistPrint (know->basic);
       if (know->encrypt != NULL)
-      {
-	eprintf (", ");
-      }
+	{
+	  eprintf (", ");
+	}
     }
   if (know->encrypt != NULL)
     {
diff --git a/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time b/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time
new file mode 100644
index 0000000..80f32ca
--- /dev/null
+++ b/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time	
@@ -0,0 +1,2 @@
+Passed wall time in seconds:
+0
diff --git a/src/system.c b/src/system.c
index e3b564c..46d7c67 100644
--- a/src/system.c
+++ b/src/system.c
@@ -1164,9 +1164,9 @@ iterateLocalToOther (const System sys, const int myrun,
 
       tt = tls->term;
       if (realTermVariable (tt) && tt->subst != NULL)
-      {
-	iterateTermOther (myrun, tt->subst, addOther, &State);
-      }
+	{
+	  iterateTermOther (myrun, tt->subst, addOther, &State);
+	}
     }
   // now iterate over all of them
   for (tls = State.tlo; flag && (tls != NULL); tls = tls->next)