diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 1a7e2b1a2dc9d7eddb4d849a1103a52ad409ea52..88e090d453fa3013f177a2091ab3dcfba990e59b 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -2081,7 +2081,7 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
       L. Garvie and ---. Verifying the smallest interesting colour
       code with quantomatic. In Proc QPL'17 vol 266, 2017.  (4)
       A. Fagan and --- . Optimising Clifford circuits with
-      Quantomatic. In Proc QPL'19, EPTCS vol. 287, 2019.  (5) ---,
+      Quantomatic. In Proc QPL'18, EPTCS vol. 287, 2019.  (5) ---,
       A. Kissinger, S. Pedrix, and J. van de Wetering. Graph-theoretic
       simplification of quantum circuits with the
       ZX-calculus. arXiv:1902.03178, 2019.}