issue 108 from Sean, and a minor tweak to the AES chapter's formatting.

docs/ProgrammingCryptol/aes/AES.tex

@@ -508,6 +508,7 @@ can make a table containing the precomputed values for all possible
 these values each time we need it.  In fact, Figure~7 on page 16 of
 the AES\indAES standard lists these precomputed values for
 us~\cite[Section 5.1.1]{aes}. We capture this table below in Cryptol:
+
 \vspace{0.25cm}
 \begin{minipage}{\textwidth}
 {\footnotesize

docs/Syntax.md

@@ -9,7 +9,7 @@ Groups of declarations are organized based on indentation.
 Declarations with the same indentation belong to the same group.
 Lines of text that are indented more than the beginning of a
 declaration belong to that declaration, while lines of text that are
-indented less terminate a group of declaration.  Groups of
+indented less terminate a group of declarations.  Groups of
 declarations appear at the top level of a Cryptol file, and inside
 `where` blocks in expressions.  For example, consider the following
 declaration group