diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
index 3f0749cdd..9e7e9dc7f 100644
--- a/manual/PRESENTATION_ExOth.tex
+++ b/manual/PRESENTATION_ExOth.tex
@@ -161,7 +161,7 @@ SAT proof finished - no model found: SUCCESS!
 \begin{frame}[t, fragile]{Example: Symbolic Model Checking (1/2)}
 \small
 The following AXI4 Stream Master has a bug. But the bug is not exposed if the
-slave keeps {\tt tready} asserted all the time. (Somtheing a test bench might do.)
+slave keeps {\tt tready} asserted all the time. (Something a test bench might do.)
 
 \medskip
 Symbolic Model Checking can be used to expose the bug and find a sequence