diff --git a/docs/index.html b/docs/index.html
index 3020333de..33f32ee08 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -3493,7 +3493,7 @@ instead.</p>
   </tr>
   <tr>
     <td valign="top">sourcefiles</td>
-    <td valign="top">Space separated list of source files</td>
+    <td valign="top">Comma separated list of source files</td>
     <td align="center" valign="top">all</td>
     <td align="center" valign="middle" rowspan="2">at least one of the two</td>
   </tr>