[PATCH] VIRTIO-112: Device Initialization: feedback from ARM

[Pawel Moll <pawel.moll@arm.com>]

Language cleanup, no material change.

Signed-off-by: Pawel Moll <pawel.moll@arm.com>
---
 content.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/content.tex b/content.tex
index 419c880..46191d4 100644
--- a/content.tex
+++ b/content.tex
@@ -707,10 +707,10 @@ driver MUST NOT continue initialization in that case.
 The driver MUST NOT notify the device before setting DRIVER_OK.
 
 \subsection{Legacy Interface: Device Initialization}\label{sec:General Initialization And Device Operation / Device Initialization / Legacy Interface: Device Initialization}
-Legacy devices do not support the FEATURES_OK status bit, and thus did
+Legacy devices do not support the FEATURES_OK status bit, and thus do
 not have a graceful way for the device to indicate unsupported feature
-combinations.  It also did not provide a clear mechanism to end
-feature negotiation, which meant that devices finalized features on
+combinations.  They also do not provide a clear mechanism to end
+feature negotiation, which means that devices finalized features on
 first-use, and no features could be introduced which radically changed
 the initial operation of the device.
 
-- 
1.9.1