fixed some typos in the documentation

1 files changed, 7 insertions, 6 deletions

diff --git a/doc/tut2.txt b/doc/tut2.txt
index b4b29d7ce..d897319fc 100755
--- a/doc/tut2.txt
+++ b/doc/tut2.txt
@@ -11,7 +11,9 @@ Nimrod Tutorial (Part II)
 Introduction
 ============
 
-  "With great power comes great responsibility." -- Spiderman
+  "Object-oriented programming is an exceptionally bad idea which could
+  only have originated in California." --Edsger Dijkstra
+
 
 This document is a tutorial for the advanced constructs of the *Nimrod*
 programming language.
@@ -20,11 +22,10 @@ programming language.
 Pragmas
 =======
 Pragmas are Nimrod's method to give the compiler additional information/
-commands without introducing a massive number of new keywords. Pragmas are
-processed during semantic checking. Pragmas are enclosed in the
-special ``{.`` and ``.}`` curly dot brackets. This tutorial does not cover
-pragmas. See the `manual <manual.html>`_ or `user guide <nimrodc.html>`_ for
-a description of the available pragmas.
+commands without introducing a massive number of new keywords. Pragmas are 
+enclosed in the special ``{.`` and ``.}`` curly dot brackets. This tutorial 
+does not cover pragmas. See the `manual <manual.html>`_ 
+or `user guide <nimrodc.html>`_ for a description of the available pragmas.
 
 
 Object Oriented Programming