diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 7e05753c2981e8a3d08d559f607d9171c41aae2a..acb3623a3d9eb5140d2644df7769a8a0c06fadfc 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -801,9 +801,9 @@ This annotation system will again be modular, in that any hardware platform may
 This will make the \dzxc system extensible in principle to any sufficiently well-characterised quantum computing platform.
 
 Annotation systems representing the hardware implementation are to be provided by the development environment, using a standardised interface, as developed in \ref{task:backendapi}.
-As a way to demonstrate and to prototype this hardware-dependent annotation layer,  we will study concrete hardware platforms quantum computers based on different technologies: optically linked ion traps (NQIT) in Task~\ref{task:NQIT-model}, and quantum dots (Grenoble) in Task~\ref{task:qdot-model}.
+As a way to demonstrate and to prototype this hardware-dependent annotation layer,  we will study concrete hardware platforms quantum computers based on different technologies: quantum dots (Grenoble) in Task~\ref{task:qdot-model}, and optically linked ion traps (NQIT) in Task~\ref{task:NQIT-model}.
 In both cases we will interact strongly with the experimental groups working on these
-models, who are close colleagues of our consortium members (N.~de Beaudrap for NQIT, and D.~Horsman for Grenoble).
+models, who are close colleagues of our consortium members (D.~Horsman for Grenoble, and N.~de Beaudrap for NQIT).
 Since these architectures are dissimilar, tackling both is an ideal demonstration of our approach. 
 The completion of this phase will allow quantum programs
 generated by the \dzxc system