diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 434a5b7f0fbcc286f33f34049c03e7e461a6571a..7c627a8392dcd501cf92bac04df5d58855cc60bd 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1302,7 +1302,6 @@ Devise test-suite of concrete instances of circuits and
 \end{WPdeliverables}
 \end{WP}
 
-
 \newpage
 
 %%%
@@ -1328,7 +1327,7 @@ We build the theoretical foundations for \zx as an intermediate representation.
    % Support simple control flow at the level of \azx, making it a more suitable target for compiling from a high-level language. In particular, add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits. 
    We will use parametric \zx terms to support simple control flow at the level of the \dzxc system, making it a more suitable target for compiling from a high-level language. In particular, we will add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits. 
   }
-      \WPtask[\label{task:resources}]{Resources and axioms
+      \WPtask[\label{task:resources}]{Resources and axioms 
    { (M1--M36; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford})}}{%
 We will exploit the three axiom sets for Clifford, Clifford+T, and universal qubit QM,
 to identify and distill specific resources that are necessary to quantum speed-up. In particular, to focus on finding multiple resource elements (rather than simply magic states), and to characterise post-classical composition as a resource.