Index: doc/next-tutorial/next-tutorial.txt
===================================================================
diff -u -N -r51fc6ac1978892c11d35f98dcf83d86f58102221 -rdc9c6c5d195536bb28cedadf6cf490f6d338b7e4
--- doc/next-tutorial/next-tutorial.txt	(.../next-tutorial.txt)	(revision 51fc6ac1978892c11d35f98dcf83d86f58102221)
+++ doc/next-tutorial/next-tutorial.txt	(.../next-tutorial.txt)	(revision dc9c6c5d195536bb28cedadf6cf490f6d338b7e4)
@@ -331,7 +331,7 @@
 Suppose, we want to define "safe stacks" that protect e.g. against
 stack under-runs (a stack under-run happens, when more +pop+ than
 +push+ operations are issued on a stack). Safety checking can be
-implemented mostly independent from the implementation details of the
+implemented mostly independent of the implementation details of the
 stack (usage of internal data structures). There are as well different
 ways of checking the safety. Therefore, we say that safety checking is
 orthogonal to the stack core implementation.