diff --git a/doc/mainpage.dox b/doc/mainpage.dox
index 4061d7c3c..d5b76d0a5 100644
--- a/doc/mainpage.dox
+++ b/doc/mainpage.dox
@@ -25,7 +25,7 @@
 /// \li spot::twa             Base class for Transition-based
 ///                           ω-Automata.
 /// \li spot::translator      Convert a spot::formula into a
-///                           spot::tgba.
+///                           spot::twa.
 /// \li spot::kripke          Base class for Kripke structures.
 /// \li spot::twa_product     On-the-fly product of two spot::twa.
 /// \li spot::emptiness_check Base class for all emptiness-check algorithms
diff --git a/doc/org/tut01.org b/doc/org/tut01.org
index 5b19df569..a9c266f48 100644
--- a/doc/org/tut01.org
+++ b/doc/org/tut01.org
@@ -35,7 +35,7 @@ they are considered as atomic propositions in all the other syntaxes.)
 
 * Python bindings
 
-Here are the same operation in Python
+Here are the same operations in Python
 
 #+BEGIN_SRC python :results output :exports both
 import spot