diff --git a/thesis/1-1-6-loans-and-regions.tex b/thesis/1-1-6-loans-and-regions.tex
index 67b0f13315ec4971cb52b5e9efc944d880bfa357..9f02bb5fe34d8fe336a036e0571346a1698a3dd7 100644
--- a/thesis/1-1-6-loans-and-regions.tex
+++ b/thesis/1-1-6-loans-and-regions.tex
@@ -92,7 +92,7 @@ A \emph{region}\footnote{Polonius calls regions \emph{origins}, which is a more
 
 Now, a loan $L$ is live at some node $N$, if there is some variable which is live at $N$ and contains $L$ in its region. This difference means that different paths through the \ac{CFG} are independent from each other, because a node in one path can’t see a node in the other one by walking back the \ac{CFG}.
 
-Let’s look at the example from \autoref{lst:nll-reject-correct} with all regions made explicit. \lstinline~x'{L1, L2}~ denotes that expression \inline{x} has a region consisting of the two loans \inline{L1} and \inline{L2}.
+Let’s look at the example from \autoref{lst:nll-reject-correct} with all regions made explicit. \inline{x'{L1, L2}} denotes that expression \inline{x} has a region consisting of the two loans \inline{L1} and \inline{L2}.
 
 \begin{listing}[H]
     \begin{minted}{rust}
@@ -110,9 +110,9 @@ Let’s look at the example from \autoref{lst:nll-reject-correct} with all regio
     \label{lst:regions}
 \end{listing}
 
-In \autoref{lst:regions} we can see that there are four relevant loans: \inline{L0} is the loan of the reference we got passed in. All references depend on it. \inline{first} creates a reference with loan \inline{L1} that is returned in the \inline{Some} branch, \inline{push} implicitly reborrows to push a value onto \inline{*v}. The final reference is created by the index operation and it may also be returned. Therefore, the return value has a region \lstinline~'{L0, L1, L2}~, because those three loans are what it may depend on.
+In \autoref{lst:regions} we can see that there are four relevant loans: \inline{L0} is the loan of the reference we got passed in. All references depend on it. \inline{first} creates a reference with loan \inline{L1} that is returned in the \inline{Some} branch, \inline{push} implicitly reborrows to push a value onto \inline{*v}. The final reference is created by the index operation and it may also be returned. Therefore, the return value has a region \inline{'{L0, L1, L2}}, because those three loans are what it may depend on.
 
-Under \ac{NLL}, the \inline{push} was not possible because \inline{x} being live and depending on \inline{fst} meant that \inline{fst} was live. With Polonius, we must check if there is any live variable that has a nonempty intersection with \lstinline~'{L0, L2}~. \inline{fst} and \inline{x} are not live, so they don’t pose a problem, even if the regions overlap. \inline{v} is live and there is a region overlap, but since the compiler inserts a reborrow, it is not a problem. There could still be an error if the borrow stack were invalidated at a later point, but since Polonius is only looking backwards, this is not something we have to consider here. There are no more live variables, so the node passes the borrow check.
+Under \ac{NLL}, the \inline{push} was not possible because \inline{x} being live and depending on \inline{fst} meant that \inline{fst} was live. With Polonius, we must check if there is any live variable that has a nonempty intersection with \inline~{'{L0, L2}}. \inline{fst} and \inline{x} are not live, so they don’t pose a problem, even if the regions overlap. \inline{v} is live and there is a region overlap, but since the compiler inserts a reborrow, it is not a problem. There could still be an error if the borrow stack were invalidated at a later point, but since Polonius is only looking backwards, this is not something we have to consider here. There are no more live variables, so the node passes the borrow check.
 
 \subsubsection{Self-referential Structs}
 
diff --git a/thesis/thesis.pdf b/thesis/thesis.pdf
index 6b7b1ea6bc0137311e1665d04997372f5bec5f40..7aab73b4e0cfc4b9dd673bb20d518fcd5abf9e2d 100644
--- a/thesis/thesis.pdf
+++ b/thesis/thesis.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:0a28168ad5751b468c4a7f47b678d3729290f472766c33abdd7c07a38d1af964
-size 178188
+oid sha256:8779b69f89079e0b06e13608da8f868ba7d76c7dcd53aa16595fd30996f400df
+size 172233
diff --git a/thesis/thesis.tex b/thesis/thesis.tex
index c2bb4d089ed1ec1c1f22491e40f0a2fcaa871b0d..e225df10659148ae83c0f465b27e78b5e343d58b 100644
--- a/thesis/thesis.tex
+++ b/thesis/thesis.tex
@@ -23,7 +23,7 @@
 % It seems like the LOL is confused if the caption contains
 % an `\lstlisting[language=Rust]'. It is fine without the
 % optional keyword.
-\lstlistoflistings
+\listoflistings
 
 % \listoffigures