diff --git a/_oasis b/_oasis
index a8a2ac60..d7e64f9a 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        qcheck
-Version:     0.5
+Version:     0.5.1
 Homepage:    https://github.com/c-cube/qcheck
 Authors:     Simon Cruanes, Vincent Hugot
 License:     LGPL
diff --git a/setup.ml b/setup.ml
index f09636df..f507007f 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.3.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 90bd3cf8a873be34d56786e64c1d6358) *)
+(* DO NOT EDIT (digest: f9d3607a34eea5026cff171c86485859) *)
 (*
    Regenerated by OASIS v0.4.8
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6875,7 +6875,7 @@ let setup_t =
        {
           oasis_version = "0.4";
           ocaml_version = None;
-          version = "0.5";
+          version = "0.5.1";
           license =
             OASISLicense.DEP5License
               (OASISLicense.DEP5Unit
@@ -7281,7 +7281,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.8";
-     oasis_digest = Some "E\245RA\021\031K\015#\201\170\223\161J\172m";
+     oasis_digest = Some "\156=\143n\019\022x\253\247\183$\201MU\247\180";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
diff --git a/src/META b/src/META
index b60b3e00..390b01a9 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
 # OASIS_START
-# DO NOT EDIT (digest: 39834eb1a5d70d8e480a69594bb35834)
-version = "0.5"
+# DO NOT EDIT (digest: 575ebc1f480a40fa92360dec7fcf5888)
+version = "0.5.1"
 description = "QuickCheck inspired property based testing"
 requires = "unix bytes oUnit"
 archive(byte) = "qcheck.cma"
diff --git a/src/QCheck.mli b/src/QCheck.mli
index edd0e463..25e0bf7f 100644
--- a/src/QCheck.mli
+++ b/src/QCheck.mli
@@ -117,7 +117,7 @@ val assume : bool -> unit
         List.hd l :: List.tl l = l)
     ]}
 
-    @since NEXT_RELEASE
+    @since 0.5.1
 *)
 
 val assume_fail : unit -> 'a
@@ -132,7 +132,7 @@ val assume_fail : unit -> 'a
         | _::_ as l -> List.hd l :: List.tl l = l)
     ]}
 
-    @since NEXT_RELEASE
+    @since 0.5.1
 *)
 
 (** {2 Generate Random Values} *)
@@ -198,7 +198,7 @@ module Gen : sig
   val neg_int : int t (** Generates negative integers *)
   val pint : int t (** Generates positive integers uniformly *)
   val int : int t (** Generates integers uniformly *)
-  val small_nat : int t (** Synonym to {!nat} @since NEXT_RELEASE *)
+  val small_nat : int t (** Synonym to {!nat} @since 0.5.1 *)
   val small_int : int t (** Small signed integers (not just {!nat}) *)
   val int_bound : int -> int t
   (** Uniform integer generator producing integers within [0... bound].
@@ -228,7 +228,7 @@ module Gen : sig
   val opt : 'a t -> 'a option t (** An option generator *)
   val pair : 'a t -> 'b t -> ('a * 'b) t (** Generates pairs *)
   val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t (** Generates triples *)
-  val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t (** Generates quadruples @since NEXT_RELEASE *)
+  val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t (** Generates quadruples @since 0.5.1 *)
 
   val char : char t (** Generates characters upto character code 255 *)
   val printable : char t (** Generates printable characters *)
@@ -570,7 +570,7 @@ val int_range : int -> int -> int arbitrary
 
 val small_nat : int arbitrary
 (** Small unsigned integers
-    @since NEXT_RELEASE *)
+    @since 0.5.1 *)
 
 val small_int : int arbitrary
 (** Small signed integers. See {!Gen.small_int}. *)