Index: doc/proposals/nowarn.md
===================================================================
--- doc/proposals/nowarn.md	(revision e0330d2cd1a09857e7eda48e70140f0f25161679)
+++ doc/proposals/nowarn.md	(revision 77148b08d37e54e1e2289ee68f8928d6326cb3bd)
@@ -56,5 +56,5 @@
    3. `grep 'FAILED with' test-status.txt | sed -E 's/\s+(\.\.\.)?([^ ]+).*$/\2/g' > test-fails.txt`
 4. Trim the WFLGAS_OPT_LAX list, reconciling with the pass/fail status just obtained.
-   1. Copy-paste just the WFLAGS list items into `wflags-orig.txt`.  Keeping leading pounds and trailing backslashes is optional.
+   1. Copy-paste just the WFLAGS list items into `wflags-lax.txt`.  Keeping leading pounds and trailing backslashes is optional.
    2. Print a list of tests found in `wflags-lax.txt` and also in `test-passes.txt`.  These tests were originally on WFLGAS_OPT_LAX, but can now pass without being on it.
       - `sed -E 's/#|( *\\)//g' wflags-lax.txt | xargs -n 1 -I _ bash -c 'a=_;echo ${a:${#a}<32?0:-32}' | xargs -n 1 -I _ echo "grep -E '^_$' test-passes.txt" | sh`