Update copy of 'algorithm-section' rule to match appendix

chapters/statements.tex

@@ -13,7 +13,7 @@ \section{Algorithm Sections}\label{algorithm-sections}
 The formal syntax is as follows:
 \begin{lstlisting}[language=grammar]
 algorithm-section :
-   [ initial ] algorithm { statement ";" | annotation ";" }
+   [ initial ] algorithm { statement ";" }
 \end{lstlisting}
 
 Like an equation, an algorithm section relates variables, i.e., constrains the values that these variables can take simultaneously.