diff --git a/doc/intro.rst b/doc/intro.rst
index 2b2ced54005c1e1713abd7203377c0905ef8f76d..0744521968e8e21eedec612f24f60539cd7fc28e 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -77,7 +77,7 @@ Program Synthesis
 -----------------
 
 As seen with verification, specifications provide an alternative and more
-descriptive way of caracterizing the behavior of a function. 
+descriptive way of characterizing the behavior of a function.
 Leon defines ways to use specifications instead of an actual implementation
 within your programs: