diff --git a/CHANGELOG.md b/CHANGELOG.md
index 09b514c..c21ef64 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.5.3
+
+- bugfix: interaction between `take` and `is_empty`
+
 ## 0.5.2
 
 - bugfix in `take`
diff --git a/META b/META
index ffd12c9..246e94f 100644
--- a/META
+++ b/META
@@ -1,6 +1,6 @@
 # OASIS_START
-# DO NOT EDIT (digest: f4f3ee8dc8cda763af26a927b88956e6)
-version = "0.5.2"
+# DO NOT EDIT (digest: 99194977427ba82f5912e81125f6cac0)
+version = "0.5.3"
 description = "Simple sequence (iterator) datatype and combinators"
 archive(byte) = "sequence.cma"
 archive(byte, plugin) = "sequence.cma"
@@ -8,7 +8,7 @@ archive(native) = "sequence.cmxa"
 archive(native, plugin) = "sequence.cmxs"
 exists_if = "sequence.cma"
 package "invert" (
- version = "0.5.2"
+ version = "0.5.3"
  description = "Simple sequence (iterator) datatype and combinators"
  requires = "sequence delimcc"
  archive(byte) = "invert.cma"
diff --git a/_oasis b/_oasis
index 7c5a8e4..39a5922 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        sequence
-Version:     0.5.2
+Version:     0.5.3
 Homepage:    https://github.com/c-cube/sequence
 Authors:     Simon Cruanes
 License:     BSD-2-clause
@@ -45,7 +45,7 @@ Document sequence
   XOCamlbuildLibraries: sequence
 
 Test all
-  Type:         custom
+  Type:         custom (0.4)
   Command:      make run-tests
   TestTools:    run_tests
   Run$:         flag(tests)
diff --git a/setup.ml b/setup.ml
index 72507e2..51aae2f 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.4 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 3e1599f233d66e02cd17bbb3a1c71d9e) *)
+(* DO NOT EDIT (digest: 1c260750474eb19b8e9212954217b6fd) *)
 (*
    Regenerated by OASIS v0.4.4
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6826,7 +6826,7 @@ let setup_t =
           alpha_features = [];
           beta_features = [];
           name = "sequence";
-          version = "0.5.2";
+          version = "0.5.3";
           license =
             OASISLicense.DEP5License
               (OASISLicense.DEP5Unit
@@ -7044,7 +7044,7 @@ let setup_t =
                      cs_plugin_data = []
                   },
                    {
-                      test_type = (`Test, "custom", None);
+                      test_type = (`Test, "custom", Some "0.4");
                       test_command =
                         [(OASISExpr.EBool true, ("make", ["run-tests"]))];
                       test_custom =
@@ -7192,8 +7192,7 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.4";
-     oasis_digest =
-       Some "\142\243\242-\024\139\245\030\1867\186\147D\175\251\192";
+     oasis_digest = Some "\214\tqh\b\169>\243\237\213\012\180\162\155`L";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
@@ -7201,6 +7200,6 @@ let setup_t =
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 7205 "setup.ml"
+# 7204 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;