diff --git a/doc/intro.rst b/doc/intro.rst
index c0f572d65f8cbfd8510d714033d9cbcf31c9880b..2b2ced54005c1e1713abd7203377c0905ef8f76d 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -3,9 +3,7 @@ Introduction
 
 The Leon system aims to help developers build verified Scala software.
 It encourages using a small set of core Scala features, but provides
-advanced automation functionality users do not obtain in today's 
-compilers and development environments for programming languages. 
-In particular, Leon can
+unique automation functionality. In particular, Leon can
 
 * verify statically that your program confirms to a given
   specification and that it cannot crash at run-time
diff --git a/doc/references.rst b/doc/references.rst
index 51eb8cddbe19f82e5c85a012a3b9aacde36df884..c7c4f2b8a0d8f32b42ba0395cf0fb1fec900b678 100644
--- a/doc/references.rst
+++ b/doc/references.rst
@@ -3,8 +3,7 @@
 References
 ==========
 
-The Leon system is documented in serveral talks and papers. Presentations describing and
-demonstrating Leon can be found below.
+The Leon system is documented in several papers and talks, which provide additional information on the algorithms and techniques we used in Leon.
 
 
 Videos