Typo: shorted --> shorter
This closes bug #117706.
diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex
index d79eddb..ae835cd 100644
--- a/Doc/tut/tut.tex
+++ b/Doc/tut/tut.tex
@@ -2016,7 +2016,7 @@
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: