diff --git a/definition/root.tex b/definition/root.tex
index 3937be6..84fdb05 100644
--- a/definition/root.tex
+++ b/definition/root.tex
@@ -19,7 +19,7 @@
 %%
 %% support for SuccML changes
 %%
-\usepackage[deletedmarkup=xout,authormarkup=none]{changes}
+\usepackage[deletedmarkup=xout,authormarkup=none,commandnameprefix=ifneeded]{changes}
 \newcommand{\fixcolor}{blue}  % corrections to definition
 \newcommand{\addcolor}{magenta}  % new SuccML features
 \newcommand{\delcolor}{gray}
diff --git a/definition/syncor.tex b/definition/syncor.tex
index 75ec5b1..7e8b9c2 100644
--- a/definition/syncor.tex
+++ b/definition/syncor.tex
@@ -247,7 +247,7 @@ \subsection{Identifiers}
 \vspace*{-6pt}
 \begin{center}
 %\verb(!  %  &  $  +  -  /  :  <  =  >  ?  (@\verb(  \  ~  `  ^  |  *(
-\verb(!  %  &  $  #  +  -  /  :  <  =  >  ?  @  \  ~  `  ^  |  *(
+\verb(!  %  &  $  #  +  -  /  :  <  =  >  ?  @  \  ~ ( \tt{\textasciigrave} \verb(  ^  |  *(
 \end{center}
 \vspace*{-6pt}
 In either case, however, reserved words are excluded.   This means that for