Remove period at end of section heading

chapters/scoping.tex

@@ -416,7 +416,7 @@ \subsubsection{The Instance Tree}\label{the-instance-tree}
 \end{nonnormative}
 
 
-\subsubsection{The Instantiation Procedure.}\label{the-instantiation-procedure}
+\subsubsection{The Instantiation Procedure}\label{the-instantiation-procedure}
 
 The instantiation is a recursive procedure with the following inputs:
 \begin{itemize}