Work around a LaTeX2HTML bug that caused the "m" in "mutable" to be dropped
in one place.
diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
index d3faa1f..d5711d2 100644
--- a/Doc/ref/ref3.tex
+++ b/Doc/ref/ref3.tex
@@ -380,7 +380,7 @@
\code{1.0}) then they can be used interchangeably to index the same
dictionary entry.
-Dictionaries are \obindex{mutable}mutable; they are created by the
+Dictionaries are mutable; they are created by the
\code{\{...\}} notation (see section \ref{dict}, ``Dictionary
Displays'').