diff --git a/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean b/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
index 1dd8e43..a9cdaa3 100644
--- a/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
+++ b/HepLean/BeyondTheStandardModel/TwoHDM/Basic.lean
@@ -10,7 +10,7 @@ import HepLean.StandardModel.HiggsBoson.Basic
 
 The two Higgs doublet model is the standard model plus an additional Higgs doublet.
 
-Currently this file contains the definition of the 2HDM optential.
+Currently this file contains the definition of the 2HDM potential.
 
 -/