diff --git a/Cubical/Categories/Adjoint.agda b/Cubical/Categories/Adjoint.agda
index 5d6c102ac3..788b8d30e2 100644
--- a/Cubical/Categories/Adjoint.agda
+++ b/Cubical/Categories/Adjoint.agda
@@ -138,7 +138,7 @@ module AdjointUniqeUpToNatIso where
         ∙∙ cong (H' ⟪ _ ⟫ D⋆_)
              (sym (⋆Assoc D _ _ _)
              ∙ cong (_D⋆ ε ⟦ _ ⟧)
-                 (  sym (F-seq H' _ _)
+                 ( sym (F-seq H' _ _)
                  ∙∙ cong (H' ⟪_⟫) (Δ₂ (H' ⟅ _ ⟆))
                  ∙∙ F-id H')
              ∙ ⋆IdL D _)