diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 965d96f75f8506e9981ca014592067a9246b8a75..7e05753c2981e8a3d08d559f607d9171c41aae2a 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1443,7 +1443,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
     \WPdeliverable{M24}{An extended \zx language which expresses
       topological and quantitative properties, with associated
       reasoning techniques.} 
-  \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms circuit optimization}.}
+  \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms of circuit optimization}.}
         \WPdeliverable{M24}{\newt{Optimization techniques for a variety of computational models}.}
  % \WPdeliverable{M24}{Routines for adding error-correction to \zx programs}
     \WPdeliverable{M24}{Routines for adding error-correction to ZX programs.}
@@ -1492,7 +1492,7 @@ Also machine-dependent error correction here?
     (M15--M30; Responsible: \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:gdansk})}{%
     Develop algorithms which, given a collection of constraints
     representing a machine model
-    (c.f.~\ref{task:annotate1}, \ref{task:annotate2}), re-writes \dzxc terms
+    (c.f.~\ref{task:annotate1}, \ref{task:annotate2}), re-writes \zx terms
     to a form which can be executed on that machine model.
 %\BREM{      Develop a specification system for the operations and constraints of a hardware system, in order to specify how to transform a ``logical'' \azx term to a procedure to realise that transformation on a specific machine.}
       }