diff --git a/ChangeLog b/ChangeLog
index 4662c08a9..dd1387e1a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-08-10  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgba/bdddict.hh: Typo in comments.
+
 	* src/ltlenv/environment.hh: Typo in comments.
 
 2003-08-08  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
diff --git a/src/tgba/bdddict.hh b/src/tgba/bdddict.hh
index a0a8a10a0..4edc8606d 100644
--- a/src/tgba/bdddict.hh
+++ b/src/tgba/bdddict.hh
@@ -27,8 +27,8 @@ namespace spot
 
     fv_map now_map;		///< Maps formulae to "Now" BDD variables
     vf_map now_formula_map;	///< Maps "Now" BDD variables to formulae
-    fv_map var_map;		///< Maps atomic propisitions to BDD variables
-    vf_map var_formula_map;     ///< Maps BDD variables to atomic propisitions
+    fv_map var_map;		///< Maps atomic propositions to BDD variables
+    vf_map var_formula_map;     ///< Maps BDD variables to atomic propositions
     fv_map acc_map;		///< Maps accepting conditions to BDD variables
     vf_map acc_formula_map;	///< Maps BDD variables to accepting conditions