--- doc/user-guide/ug-commands.tex.orig	2011-04-15 11:45:08.000000000 -0600
+++ doc/user-guide/ug-commands.tex	2012-12-11 09:25:33.285718340 -0700
@@ -1985,7 +1985,7 @@
 
 The \cmd{x-show-current-proof} command creates a window showing the
 cur\-rent proof tree.  Every sequent in the tree is represented by a
-$\vdash$ symbol\index{"|-@$\vdash$}.  The proof commands used to create
+$\vdash$ symbol\index{_-@$\vdash$}.  The proof commands used to create
 the tree will also be shown between the $\vdash$ symbols.  This tree will
 be automatically updated after every proof command.
 
--- doc/user-guide/user-guide.tex.orig	2013-02-21 08:19:16.000000000 -0700
+++ doc/user-guide/user-guide.tex	2014-06-20 12:30:00.000000000 -0600
@@ -165,7 +165,7 @@
 %\printindex  %% printindex makes extra call to "theindex"
 {\smaller\smaller
 \printindex
-%\input{user-guide.ind}
+\input{user-guide.ind}
 }
 
 \end{document}