diff --git a/doc/manual.html b/doc/manual.html
index b513bf94080d9271d9945073022e5869f491df8e..8b600eac543af88d9e462b0f72e60775c558671f 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -1254,7 +1254,7 @@ editor.setOption("extraKeys", {
       separator to put between the lines in the output. When multiple
       selections are present, they are concatenated with instances
       of <code>lineSep</code> in between.</dd>
-      <dt id="getSelections"><code><strong>doc.getSelections</strong>(?lineSep: string) → string</code></dt>
+      <dt id="getSelections"><code><strong>doc.getSelections</strong>(?lineSep: string) → array&lt;string&gt;</code></dt>
       <dd>Returns an array containing a string for each selection,
       representing the content of the selections.</dd>