diff --git a/xwords4/linux/scripts/discon_ok2.sh b/xwords4/linux/scripts/discon_ok2.sh
index f6ebeda33..df7466a5d 100755
--- a/xwords4/linux/scripts/discon_ok2.sh
+++ b/xwords4/linux/scripts/discon_ok2.sh
@@ -79,6 +79,9 @@ function pick_ndevs() {
     elif [ $RNUM -gt 75 -a $MAXDEVS -ge 3 ]; then
         NDEVS=3
     fi
+    if [ -n "$MINDEVS" -a "$NDEVS" -lt "$MINDEVS" ]; then
+        NDEVS=$MINDEVS
+    fi
     echo $NDEVS
 }