diff --git a/docs/manual.html b/docs/manual.html
index a2594a6e0..c9ddc1f79 100644
--- a/docs/manual.html
+++ b/docs/manual.html
@@ -2593,7 +2593,7 @@ struct session_settings
         int peer_connect_timeout;
         bool ignore_limits_on_local_network;
         int connection_speed;
-        int send_redundant_have;
+        bool send_redundant_have;
         bool lazy_bitfields;
         int inactivity_timeout;
         int unchoke_interval;
diff --git a/docs/manual.rst b/docs/manual.rst
index 1249f17ee..d35581622 100644
--- a/docs/manual.rst
+++ b/docs/manual.rst
@@ -2586,7 +2586,7 @@ that will be sent to the tracker. The user-agent is a good way to identify your
 		int peer_connect_timeout;
 		bool ignore_limits_on_local_network;
 		int connection_speed;
-		int send_redundant_have;
+		bool send_redundant_have;
 		bool lazy_bitfields;
 		int inactivity_timeout;
 		int unchoke_interval;