Typo: shorted --> shorter

This closes bug #117706.

diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex
index d79eddb92bb16d94de1bf0bc8132a73753dd721e..ae835cd43f1ef163a845d69c9ebd2ea1d1c0ede2 100644 (file)
--- a/Doc/tut/tut.tex
+++ b/Doc/tut/tut.tex
@@ -2016,7 +2016,7 @@ If two items to be compared are themselves sequences of the same type,
 the lexicographical comparison is carried out recursively.  If all
 items of two sequences compare equal, the sequences are considered
 equal.  If one sequence is an initial subsequence of the other, the
-shorted sequence is the smaller one.  Lexicographical ordering for
+shorter sequence is the smaller one.  Lexicographical ordering for
 strings uses the \ASCII{} ordering for individual characters.  Some
 examples of comparisons between sequences with the same types: