A couple of additional nits I missed in review.

(One was a wrong suggestion I gave)

chap-intro.tex

@@ -976,7 +976,7 @@ \section{Publications}
 \item In the proceedings of the 31st European Symposium on Programming
   (ESOP 2022) we published \citetitleit{DBLP:conf/esop/BauereissCSAESB22}~\cite{DBLP:conf/esop/BauereissCSAESB22}.
   In this paper we define the fundamental security property that Morello aims
-  to provide: reachable capability monotonicity, and prove that the
+  to provide, reachable capability monotonicity, and prove that the
   architecture definition satisfies it.  We also published an extended
   version as a technical report~\cite{UCAM-CL-TR-959}.
 \end{itemize}
@@ -1075,7 +1075,7 @@ \section{Publications}
 
 \item Hongyan Xia's PhD dissertation, \citetitleit{UCAM-CL-TR-955},
   describes 64-bit CHERI capabilities along with a real-time OS to evaluate
-  their effectiveness\cite{UCAM-CL-TR-955}.
+  their effectiveness~\cite{UCAM-CL-TR-955}.
 
 \item Lawrence Esswood's PhD dissertation, \citetitleit{UCAM-CL-TR-961},
   describes CheriOS, a clean-slate CHERI-specific