diff --git a/doc/fluidsettings.xml b/doc/fluidsettings.xml
index 8d94bda7..0a5bedc3 100644
--- a/doc/fluidsettings.xml
+++ b/doc/fluidsettings.xml
@@ -711,7 +711,7 @@ Developers: Settings can be deprecated by adding: <deprecated>SOME TEXT</depreca
         </setting>
         <setting>
             <name>port</name>
-            <type>num</type>
+            <type>int</type>
             <def>9800</def>
             <min>1</min>
             <max>65535</max>