diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 1c8d0c02..bf3c289c 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -838,12 +838,12 @@ Using suitable labeling strategies, we can easily find solutions with
 
 ```
 ?- n_queens(80, Qs), labeling([ff], Qs).
-   Qs = [1,3,5,44,42,4,50,7,68,57,76,61,6,39,30,40,8,54,36,41,...]
+   Qs = [1,3,5,44,42,4,50,7,68,57,76,61,6,39,30,40,8,54,36,41|...]
 ;  ... .
 
 ?- time((n_queens(90, Qs), labeling([ff], Qs))).
-   % CPU time: 31.351s
-   Qs = [1,3,5,50,42,4,49,7,59,48,46,63,6,55,47,64,8,70,58,67,...]
+   % CPU time: 2.382s
+   Qs = [1,3,5,50,42,4,49,7,59,48,46,63,6,55,47,64,8,70,58,67|...]
 ;  ... .
 ```