diff --git a/doc/org/tut.org b/doc/org/tut.org
index 60b8f0344..d15063356 100644
--- a/doc/org/tut.org
+++ b/doc/org/tut.org
@@ -13,7 +13,7 @@ If you have difficulties compiling the C++ examples, check out [[file:compile.or
 instructions]].
 
 Reading the [[file:concepts.org][concepts page]] might help if you are not familiar with some
-of the objects manipulated here.
+of the objects or concepts used here.
 
 * Examples with Shell, Python, and C++
 
@@ -25,7 +25,7 @@ three interfaces supported by Spot: shell commands, Python, or C++.
 - [[file:tut04.org][Testing the equivalence of two LTL formulas]]
 - [[file:tut10.org][Translating an LTL formula into a never claim]]
 - [[file:tut11.org][Translating an LTL formula into a monitor]]
-- [[file:tut12.org][Working with LTL formula with finite semantics]]
+- [[file:tut12.org][Working with LTL formulas with finite semantics]]
 - [[file:tut20.org][Converting a never claim into HOA]]
 - [[file:tut30.org][Converting Rabin (or Other) to Büchi, and simplifying it]]
 - [[file:tut31.org][Removing alternation]]
diff --git a/doc/org/tut12.org b/doc/org/tut12.org
index 10641558b..741053597 100644
--- a/doc/org/tut12.org
+++ b/doc/org/tut12.org
@@ -1,5 +1,5 @@
 # -*- coding: utf-8 -*-
-#+TITLE: Working with LTL formula with finite semantics
+#+TITLE: Working with LTL formulas with finite semantics
 #+DESCRIPTION: Code example for using Spot to translate LTLf formulas
 #+INCLUDE: setup.org
 #+HTML_LINK_UP: tut.html