1 files changed, 4 insertions, 4 deletions
diff --git a/main.tex b/main.tex
index 110d901..ccbbf8e 100644
--- a/main.tex
+++ b/main.tex
@@ -213,10 +213,10 @@
 \input{conclusion}
 
 \subsection*{Acknowledgements}
-We'd like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the anonymous
-reviewers for their helpful feedback.  This work was financially supported by the EPSRC via the
-Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS Programme Grant
-(EP/R006865/1).
+We would like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the
+anonymous reviewers for their helpful feedback.  This work was financially supported by the EPSRC
+via the Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS Programme
+Grant (EP/R006865/1).
 
 %% Bibliography
 \bibliography{references.bib}