diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
index bd130a42..293dc44e 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
@@ -64,7 +64,7 @@ render d = rend 0 False (map ($ "") $ d []) ""
   rend i p = \case
     "[" : "]" : ts -> showString "[]" . rend i False ts
     "(" : ")" : (t : ts) -> handleTrailingComma "()" t ts
-    "⟦" : "⟧" : (t : ts) -> handleTrailingComma "⟦ ⟧" t ts
+    "⟦" : "⟧" : (t : ts) -> handleTrailingComma "⟦⟧" t ts
     "[" : ts -> char '[' . rend i False ts
     "(" : ts -> char '(' . new (i + 1) ts
     "{" : "⟦" : ts -> showChar '{' . onNewLine (i + 1) p . showChar '⟦' . new (i + 2) ts
diff --git a/eo-phi-normalizer/test/eo/phi/from-eo/as-phi.yaml b/eo-phi-normalizer/test/eo/phi/from-eo/as-phi.yaml
index 786a52a3..7d0660ec 100644
--- a/eo-phi-normalizer/test/eo/phi/from-eo/as-phi.yaml
+++ b/eo-phi-normalizer/test/eo/phi/from-eo/as-phi.yaml
@@ -71,7 +71,7 @@ tests:
       {
         ⟦
           m ↦ ⟦
-            x ↦ ⟦ ⟧
+            x ↦ ⟦⟧
           ⟧
           ()
         ⟧