minor edit to Section 1.3.4

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