diff --git a/web/index.html b/web/index.html
index dd7a2fe..d48628a 100644
--- a/web/index.html
+++ b/web/index.html
@@ -328,6 +328,7 @@ $ ./_build/default/bin/main.exe run calc-me.flan "1 + 2 * (3 - 0.5) / 2"
 
 <pre><code class="sh">$ flan
 usage: flan (read|parse|check|emit|shim) &lt;file.flan&gt;...
+       flan check &lt;file.flan&gt;... [--warn-memory]
        flan emit &lt;file.flan&gt; [--x86] [--dev] [--debug] [--no-bounds-checks]
        flan import-c &lt;header.h&gt; [package.flan...] [clang flags...]
        flan generate-c &lt;package-dir&gt;
@@ -1913,10 +1914,10 @@ module, and the headless sand acceptance program prints the same 64-bit hash und
 it does natively:</p>
 
 <pre><code class="sh">$ flan run test/programs/sand-headless.flan
-15595743031174623232
+7623511701454096497
 $ flan build test/programs/sand-headless.flan --target=wasm32-wasi -o sand.wasm
 $ node --no-warnings test/wasm-run.mjs sand.wasm
-15595743031174623232</code></pre>
+7623511701454096497</code></pre>
 
 <p>The RNG is written in Flan rather than called from libc for that number: a grid hash
 is only a regression test if the sequence is byte-identical on both targets. It holds at