diff --git a/may15.html b/may15.html
index 47979ad4..934060e0 100644
--- a/may15.html
+++ b/may15.html
@@ -30,7 +30,7 @@ these two lines:
 </p>
 <blockquote>
 <pre>
-set_lk_max_locks 120000
+set_lk_max_locks 537000
 </pre>
 </blockquote>
 <p>