--- 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}