diff --git a/docs/manual/dirtasks.html b/docs/manual/dirtasks.html
index f335a6fd3..7f7f66544 100644
--- a/docs/manual/dirtasks.html
+++ b/docs/manual/dirtasks.html
@@ -273,7 +273,7 @@ directory-based tasks. They are:</p>
 them with the <code>defaultexcludes=&quot;no&quot;</code>
 attribute.</p>
 
-<p>This is the default list, note that you can modify the list of
+<p>This is the default list; note that you can modify the list of
 default excludes by using the <a
 href="CoreTasks/defaultexcludes.html">defaultexcludes</a> task.</p>