extinguish last comment

guide.ind

@@ -74,7 +74,7 @@
   \indexspace
 
   \item meta-statement, \hyperpage{42}
-    \subitem comment, \hyperpage{42}
+    \subitem comment, \hyperpage{43}
     \subitem const, \code{\#const}, \hyperpage{44}
     \subitem external, \code{\#external}, \hyperpage{44}
     \subitem \gobblecomma, \hyperindexformat{\see{optimization}}{38}
@@ -133,7 +133,7 @@
   \indexspace
 
   \item safety, \hyperpage{21}
-    \subitem aggregate, \hyperpage{34}
+    \subitem aggregate, \hyperpage{35}
     \subitem arithmetic function, \hyperpage{25}
     \subitem comparison predicate, \hyperpage{27}
     \subitem external, \code{\#external}, \hyperpage{45}

guide.tex

@@ -8,7 +8,7 @@
 \usepackage{listings}
 \usepackage[dvipsnames]{xcolor}
 \usepackage[pdfborder={0 0 0},pagebackref=true]{hyperref}
-\usepackage{comments}
+%\usepackage{comments}
 \usepackage{pict2e}
 \usepackage{tikz}
 \usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes}

language.tex

@@ -976,8 +976,9 @@ \subsubsection{Aggregates}\label{subsec:gringo:aggregate}
 %
 \[\code{$s_1$~$\prec_1$~$\alpha$~\{~$\boldsymbol{t}_1$:$\boldsymbol{L}_1$;$\dots$;$\boldsymbol{t}_n$:$\boldsymbol{L}_n$ \}~$\prec_2$~$s_2$}\]
 %
-Here, all $\boldsymbol{t}_i$ and $\boldsymbol{L}_i$, forming \emph{aggregate elements}, are non-empty tuples of terms and literals\comment{RK: it is not correct that the both must be non-empty tuples; also it is not mentioned that the colon can be omitted if L is empty and t is non-empty}
+Here, all $\boldsymbol{t}_i$ and $\boldsymbol{L}_i$, forming \emph{aggregate elements}, are tuples of terms and literals
 (as introduced in Section~\ref{subsec:gringo:terms}), respectively.
+If a literal tuple is empty and the corresponding term tuple is non-empty, then the colon can be omitted.
 $\alpha$ is the name of some function that is to be applied to the term tuples $\boldsymbol{t}_i$
 that remain after evaluating the conditions expressed by $\boldsymbol{L}_i$.
 %