# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1492183457 -3600
# Node ID d30222a70f2dd47ba3a6fc750385229af2afc619
# Parent  65c19c3f45c4c32d1b45309d2b7f8bc862de388e
Minor

diff -r 65c19c3f45c4 -r d30222a70f2d js/core.js
--- a/js/core.js	Fri Apr 14 16:16:03 2017 +0100
+++ b/js/core.js	Fri Apr 14 16:24:17 2017 +0100
@@ -1277,7 +1277,7 @@
             if (page.poolSize > 0 || page.randomiseOrder) {
                 page.randomiseOrder = true;
                 if (page.poolSize === 0) {
-                    page.poolSize = page.randomiseOrder;
+                    page.poolSize = elements.length;
                 }
                 elements = pickSubPool(elements, page.poolSize);
             }