diff --git a/reasoning/rdfstar/README b/reasoning/rdfstar/README
index e5d40dfa5..8c5b87963 100644
--- a/reasoning/rdfstar/README
+++ b/reasoning/rdfstar/README
@@ -54,10 +54,10 @@ RDF star supports reasoning with rdfsurfaces described in RDF as
         log:conjunction log:isFunctorOf (
             << _:x a :City >>
             << () log:onNegativeSurface <<
-                    log:conjunction log:isFunctorOf (
-                        << _:x a :HumanCommunity >>
-                    )
-                >>
+                log:conjunction log:isFunctorOf (
+                    << _:x a :HumanCommunity >>
+                )
+            >>
             >>
         )
     >>.
diff --git a/reasoning/rdfstar/slide32.ttl b/reasoning/rdfstar/slide32.ttl
index fddb9b053..eed01eb68 100644
--- a/reasoning/rdfstar/slide32.ttl
+++ b/reasoning/rdfstar/slide32.ttl
@@ -15,10 +15,10 @@
     log:conjunction log:isFunctorOf (
         << _:x a :City >>
         << () log:onNegativeSurface <<
-                log:conjunction log:isFunctorOf (
-                    << _:x a :HumanCommunity >>
-                )
-            >>
+            log:conjunction log:isFunctorOf (
+                << _:x a :HumanCommunity >>
+            )
+        >>
         >>
     )
 >>.
@@ -28,10 +28,10 @@
     log:conjunction log:isFunctorOf (
         << :Ghent a :HumanCommunity >>
         << () log:onNegativeAnswerSurface <<
-                log:conjunction log:isFunctorOf (
-                    << :Ghent a :HumanCommunity >>
-                )
-            >>
+            log:conjunction log:isFunctorOf (
+                << :Ghent a :HumanCommunity >>
+            )
+        >>
         >>
     )
 >>.