diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index ee746d9a30a..fcc5240a67f 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -2957,7 +2957,7 @@ typedef uint32_t  wdparm_t;
 
 <h2><a name="workqueues">4.4 Work Queues</a></h2>
 <p><b>Work Queues</b>.
-  NuttX provides <i>work queues</i>.  Work queues are threads the service a queue of work items to be performed.  There are useful for off-loading work to a different threading context, for delayed processing, or for serializing activities.
+  NuttX provides <i>work queues</i>.  Work queues are threads that service a queue of work items to be performed.  They are useful for off-loading work to a different threading context, for delayed processing, or for serializing activities.
 </p>
 
 <h3><a name="wqclasses">4.4.1 Classes of Work Queues</a></h3>