Cleanup

chapters/annotations.tex

@@ -1119,7 +1119,7 @@ \section{Annotations for the Graphical User Interface}\label{annotations-for-the
 
 \begin{lstlisting}[language=grammar]
   preferred-view-annotation:
-     annotation "(" preferredView "=" ("""info""" | """diagram""" | """text""") ")"
+     annotation "(" preferredView "=" ( """ "info" """ | """ "diagram" """ | """ "text" """ ) ")"
 \end{lstlisting}
 
 The \fmtannotationindex{preferredView} annotation defines the default view when selecting the class.