Typo: shorted --> shorter

This closes bug #117706.

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: