diff --git a/Changes b/Changes
index 61f7368ab..a063a521d 100644
--- a/Changes
+++ b/Changes
@@ -154,6 +154,8 @@ Bug fixes:
   (Mark Shinwell and Jérémie Dimino)
 - PR#6763: #show with -short-paths doesn't select shortest type paths
 - PR#6768: Typechecker overflow the stack on cyclic type
+- GPR#143: fix getsockopt behaviour for boolean socket options
+  (Anil Madhavapeddy and Andrew Ray)
 - ocamlbuild on cygwin cannot find ocamlfind
   (user 'algoriddle')
 - allow android build with pthreads support (since SDK r10c)
diff --git a/VERSION b/VERSION
index 1dc839202..debae4647 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.03.0+dev6-2015-01-20
+4.03.0+dev7-2015-02-08
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli
diff --git a/otherlibs/unix/sockopt.c b/otherlibs/unix/sockopt.c
index 0ad3673d4..8137e42c9 100644
--- a/otherlibs/unix/sockopt.c
+++ b/otherlibs/unix/sockopt.c
@@ -194,6 +194,7 @@ unix_getsockopt_aux(char * name,
 
   switch (ty) {
   case TYPE_BOOL:
+    return Val_bool(optval.i);
   case TYPE_INT:
     return Val_int(optval.i);
   case TYPE_LINGER: