Fix some typos

plutus-core-spec/plutus-core-specification.tex

@@ -332,7 +332,7 @@ \section{Syntax}
 
 The grammar of Plutus Core is given in
 Figures~\ref{fig:lexical-grammar} and
-\ref{fig:grammar} (but see the update in Section~\ref{sec:syntax-update}).
+\ref{fig:grammar} (but see the note on revised syntax in Section~\ref{sec:syntax-update}).
 This grammar describes the abstract syntax trees of Plutus Core in a convenient
 notation which can also be used as concrete syntax for purposes such as
 experimentation and debugging.
@@ -505,7 +505,7 @@ \subsection{Notes on the grammar}
 they are dealing with code conforming to the correct version of the
 Plutus Core language.
 
-\red{\subsection{Note: revised syntax}}
+\subsection{\red{Note: revised syntax}}
 \label{sec:syntax-update}
 \noindent In the current (April 2021) implementation of Plutus Core the syntax of built-in
 functions has changed somewhat.  In the syntax above and the semantics and
@@ -519,8 +519,8 @@ \subsection{Notes on the grammar}
 $$
 \noindent
 which can be applied to arguments one by
-one. Thus \texttt{(builtinAddInteger)}, \texttt{[(builtinAddInteger) (con
-integer 5)]}, and \texttt{[(builtinAddInteger) (con integer 5) (con integer 6)]}
+one. Thus \texttt{(builtin addInteger)}, \texttt{[(builtin addInteger) (con
+integer 5)]}, and \texttt{[(builtin addInteger) (con integer 5) (con int\-eger 6)]}
 are all valid terms.  The first two of these are values which cannot immediately
 be reduced (but could, for example, be passed as arguments to other functions);
 the third will evaluate to \texttt{(con integer 11)}.  In the polymorphic