fixed typo

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@12019 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/latex/tutorial-outline.tex

 \section*{Tutorial Proposal (WP1-4)}
 
-The objective is to get users to a stage where they can use Rodin and build Event-B models.  We exect from users to have a basic understanding of logic and an idea why doing formal modeling is a good idea.  Such a user should be able to work through the tutorial with no or little outside help.
+The objective is to get users to a stage where they can use Rodin and build Event-B models.  We expect from users to have a basic understanding of logic and an idea why doing formal modeling is a good idea.  Such a user should be able to work through the tutorial with no or little outside help.
 
 This tutorial covers installation and configuration of Rodin; it hand-holds the user through building formal models and it provides the essential theory and provides pointers to more information.