diff --git a/README.adoc b/README.adoc
index a1468a93..6df889c9 100644
--- a/README.adoc
+++ b/README.adoc
@@ -484,7 +484,7 @@ Beforehand, check `grep deprecated -r src` to see whether some functions
 can be removed.
 
 . `make test`
-. update version in `_oasis`
+. update version in `containers.opam`
 . `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
 . check status of modules (`{b status: foo}`) and update if required;
    removed deprecated functions, etc.
@@ -492,8 +492,7 @@ can be removed.
 . commit the changes
 . `git checkout stable`
 . `git merge master`
-. `oasis setup; make test doc`
-. update `opam` (the version field; remove `oasis` in deps)
+. `make test doc`
 . tag, and push both to github
 . `opam pin add containers https://github.com/c-cube/ocaml-containers.git#<release>`
 . new opam package: `opam publish prepare; opam publish submit`
diff --git a/src/data/CCRAL.ml b/src/data/CCRAL.ml
index 2799f081..f72cb7c3 100644
--- a/src/data/CCRAL.ml
+++ b/src/data/CCRAL.ml
@@ -258,7 +258,7 @@ let flat_map f l =
     )
 
 (*$Q
-  Q.(pair (fun1 Observable.int (list int)) (list int)) (fun (f,l) -> \
+  Q.(pair (fun1 Observable.int (small_list int)) (small_list int)) (fun (f,l) -> \
     let f x = Q.Fn.apply f x in \
     let f' x = f x |> of_list in \
     of_list l |> flat_map f' |> to_list = CCList.(flat_map f l))
@@ -450,7 +450,7 @@ let repeat n l =
 
 
 (*$Q
-  Q.(pair small_int (list int)) (fun (n,l) -> \
+  Q.(pair small_int (small_list int)) (fun (n,l) -> \
     of_list l |> repeat n |> to_list = CCList.(repeat n l))
 *)