diff --git a/.gitignore b/.gitignore
index 97aaff76..20f09d16 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ TAGS
 *.docdir
 setup.log
 setup.data
+qtest
diff --git a/circList.ml b/circList.ml
index fda92d1f..06d69e72 100644
--- a/circList.ml
+++ b/circList.ml
@@ -58,7 +58,7 @@ let snoc l x = make l.front l.f_len (x::l.rear) (l.r_len+1)
 let next l = match l.front with
   | [] -> assert false
   | x::l' ->
-      x, make l' (l.f_len-1) l.rear l.r_len
+      x, make l' (l.f_len-1) (x::l.rear) (l.r_len+1)
 
 let rev l = make l.rear l.r_len l.front l.f_len
 
@@ -80,6 +80,11 @@ let exists p l = match find p l with
   | None -> false
   | Some _ -> true
 
+(*$T
+ exists (fun x-> x mod 2 = 0) (of_list [1;3;5;7;8])
+ not (exists (fun x-> x mod 2 = 0) (of_list [1;3;5;7;9]))
+ *)
+
 let for_all p l =
   let rec _check i l =
     i = 0 ||