diff --git a/documentatie/verslag.pdf b/documentatie/verslag.pdf
index 94c7a8e..ff52db2 100644
Binary files a/documentatie/verslag.pdf and b/documentatie/verslag.pdf differ
diff --git a/documentatie/verslag.tex b/documentatie/verslag.tex
index 7ef35b7..cf1598a 100644
--- a/documentatie/verslag.tex
+++ b/documentatie/verslag.tex
@@ -7,9 +7,10 @@
 \usepackage[dutch]{babel}         % Nederlands taal
 \usepackage[style=apa]{biblatex}  % Bronnen
 \usepackage{enumitem}             % Aanpasbare lijsten
+\usepackage{float}                % Figures
 \usepackage[margin=2cm]{geometry} % Sane marges
 \usepackage{hyperref}             % Hyperlinks
-\usepackage{minted}              % Syntax highlighting
+\usepackage{minted}               % Syntax highlighting
 \usepackage{multicol}             % Meerdere kolommen
 \usepackage{url}                  % Beter geformatteerde URLs
 
@@ -155,8 +156,9 @@
     % KERN: Nesting probleem
     \textbf{Code wordt snel onoverzichtelijk} door het gebruik van \mintinline{kotlin}{Sequence} en \mintinline{kotlin}{Result}.
     Belangrijke logica zit genest in onduidelijke boilerplate.
-    Volgende code komt bijvoorbeeld in de meeste termen voor, weliswaar in verschillende vorm:
+    De code in~\ref{lst:nesting} komt bijvoorbeeld in de meeste termen voor, weliswaar in verschillende vorm.
 
+    \begin{listing}[H]
     \begin{minted}{kotlin}
         /* Function entry logic */
         unifyLazy(a, b, subs).forEach { firstResult ->
@@ -174,6 +176,8 @@
                                 is AppliedShift -> /* Shift logic */
         } } ) } } }
     \end{minted}
+    \caption{Voorbeeld van geneste boilerplate code}\label{lst:nesting}
+    \end{listing}
 
     % KERN: Overerving zorgt voor boilerplate
     \textbf{De implementatie bevat boilerplate code} door het gebruik van overerving en interfaces in de klassenrepresentatie van termen.
@@ -299,17 +303,11 @@
 
     De ingediende JAR kan ook handmatig opgeroepen worden met \texttt{java -jar ./build/gpl.jar}.
 
-    Het programma ondersteunt de volgende vlaggen:
-
-    % TODO gpl --help
-
     \subsection{Testen}\label{subsec:testen}
 
     De testen kunnen uitgevoerd worden door de meeste IDE's.
 
     Alternatief kunnen de testen uitgevoerd worden met \texttt{./gradlew test}.
-    Resultaten worden naar \texttt{stdout} geschreven of kunnen bekeken worden met
-    % TODO HTML rapporten.
 
 
     \section{Overzicht van geïmplementeerde predicaten}\label{sec:predicaten}