diff --git a/Pantograph/Environment.lean b/Pantograph/Environment.lean
index 21d7b37..3907105 100644
--- a/Pantograph/Environment.lean
+++ b/Pantograph/Environment.lean
@@ -180,7 +180,7 @@ def addDecl (name: String) (levels: Array String := #[]) (type?: Option String)
     Lean.Declaration.thmDecl <| Lean.mkTheoremValEx
       (name := name.toName)
       (levelParams := levelParams)
-      (type := type )
+      (type := type)
       (value := value)
       (all := [])
   else