Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision 917ab04c19b6878d5a1caf467d061f3e8e862f04)
+++ doc/user/user.tex	(revision 18c55e10a068521a018a312916282cf08da4717c)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Sun May 21 23:16:45 2017
-%% Update Count     : 1817
+%% Last Modified On : Sun May 21 23:36:42 2017
+%% Update Count     : 1822
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -4838,8 +4838,8 @@
 In \CFA, there are ambiguous cases with dereference and operator identifiers, \eg ©int *?*?()©, where the string ©*?*?© can be interpreted as:
 \begin{cfa}
-*?§\color{red}\textvisiblespace§*?
-*§\color{red}\textvisiblespace§?*?
-\end{cfa}
-By default, the first interpretation is selected, which does not yield a meaningful string in the language.
+*?§\color{red}\textvisiblespace§*?		§\C{// dereference operator, dereference operator}§
+*§\color{red}\textvisiblespace§?*?		§\C{// dereference, multiplication operator}§
+\end{cfa}
+By default, the first interpretation is selected, which does not yield a meaningful parse.
 Therefore, \CFA does a lexical look-ahead for the second case, and backtracks to return the leading unary operator and reparses the trailing operator identifier.
 Otherwise a space is needed between the unary operator and operator identifier to disambiguate this common case.
@@ -4851,5 +4851,5 @@
 *?()§\color{red}\textvisiblespace...§(...) ;
 \end{cfa}
-requiring arbitrary whitespace look-ahead for the routine-call parameter list to disambiguate.
+requiring arbitrary whitespace look-ahead for the routine-call parameter-list to disambiguate.
 However, the dereference operator \emph{must} have a parameter/argument to dereference ©*?(...)©.
 Hence, always interpreting the string ©*?()© as \lstinline[showspaces=true]@* ?()@ does not preclude any meaningful program.
@@ -4860,5 +4860,5 @@
 i?++§\color{red}\textvisiblespace...§(...);
 \end{cfa}
-requiring arbitrary whitespace look-ahead for the routine-call parameter list, even though that interpretation is an incorrect expression (juxtaposed identifiers).
+requiring arbitrary whitespace look-ahead for the operator parameter-list, even though that interpretation is an incorrect expression (juxtaposed identifiers).
 Therefore, it is necessary to disambiguate these cases with a space:
 \begin{cfa}