diff --git a/ChangeLog b/ChangeLog
index 6fcf6bf0e..c9c7931ec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-11-17  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgba/tgba.hh, src/tgbaalgos/ltl2tgba_fm.hh,
+	src/tgbaalgos/ltl2tgba_lacim.hh, src/tgbaalgos/stats.hh: Typos.
+
 	* src/tgbatest/Makefile.am (EXTRA_DIST): Distribute the files
 	from tba_samples_from_spin.
 	* src/tgbatest/tba_samples_from_spin.test: Get these example files
diff --git a/src/tgba/tgba.hh b/src/tgba/tgba.hh
index 02c107342..4de8344a2 100644
--- a/src/tgba/tgba.hh
+++ b/src/tgba/tgba.hh
@@ -28,7 +28,7 @@
 
 namespace spot
 {
-  /// \defgroup tgba TGBA (Transition-based Genealized Büchi Automaton)
+  /// \defgroup tgba TGBA (Transition-based Generalized Büchi Automata)
   ///
   /// Spot is centered around the spot::tgba type.  This type and its
   /// cousins are listed \ref tgba_essentials "here".  This is an
@@ -162,7 +162,7 @@ namespace spot
     virtual std::string
     transition_annotation(const tgba_succ_iterator* t) const;
 
-    /// \brief Project a state on an automata.
+    /// \brief Project a state on an automaton.
     ///
     /// This converts \a s, into that corresponding spot::state for \a
     /// t.  This is useful when you have the state of a product, and
diff --git a/src/tgbaalgos/ltl2tgba_fm.hh b/src/tgbaalgos/ltl2tgba_fm.hh
index f326ebc53..6b55a5199 100644
--- a/src/tgbaalgos/ltl2tgba_fm.hh
+++ b/src/tgbaalgos/ltl2tgba_fm.hh
@@ -50,7 +50,7 @@ namespace spot
   /// }
   /// \endverbatim
   ///
-  /// \param f The formula to translate into an automata.
+  /// \param f The formula to translate into an automaton.
   ///
   /// \param dict The spot::bdd_dict the constructed automata should use.
   ///
diff --git a/src/tgbaalgos/ltl2tgba_lacim.hh b/src/tgbaalgos/ltl2tgba_lacim.hh
index d4b3b755d..fca646c5f 100644
--- a/src/tgbaalgos/ltl2tgba_lacim.hh
+++ b/src/tgbaalgos/ltl2tgba_lacim.hh
@@ -46,7 +46,7 @@ namespace spot
   ///   editor        = {Pierre Leroux}
   /// }
   /// \endverbatim
-  /// \param f The formula to translate into an automata.
+  /// \param f The formula to translate into an automaton.
   /// \param dict The spot::bdd_dict the constructed automata should use.
   /// \return A spot::tgba_bdd_concrete that recognizes the language of \a f.
   tgba_bdd_concrete* ltl_to_tgba_lacim(const ltl::formula* f, bdd_dict* dict);
diff --git a/src/tgbaalgos/stats.hh b/src/tgbaalgos/stats.hh
index fada59667..affcf3e30 100644
--- a/src/tgbaalgos/stats.hh
+++ b/src/tgbaalgos/stats.hh
@@ -36,7 +36,7 @@ namespace spot
     unsigned states;
   };
 
-  /// \brief Compute statistics for an automata.
+  /// \brief Compute statistics for an automaton.
   tgba_statistics stats_reachable(const tgba* g);
 
   /// @}