diff --git a/doc/manual.xml b/doc/manual.xml
index 33ffbeb8a3fc8b87fffa867c2b9055b3b6523696..8657d87e8561e911db5f6b09f1417803657bf6e9 100644
--- a/doc/manual.xml
+++ b/doc/manual.xml
@@ -3373,7 +3373,7 @@ end;
       <listitem><para>...</para></listitem>
     </varlistentry>
     <varlistentry>
-      <term><option>kalman_tol</option> = <replaceable>INTEGER</replaceable></term>
+      <term><option>kalman_tol</option> = <replaceable>DOUBLE</replaceable></term>
       <listitem><para>...</para></listitem>
     </varlistentry>
     <varlistentry id="filter_covariance" xreflabel="filter_covariance">