diff --git a/INSTALL b/INSTALL
index 85a74b862f..0e868b75ca 100644
--- a/INSTALL
+++ b/INSTALL
@@ -267,11 +267,11 @@
                    Don't compile in filename and line number information (e.g.
                    for errors and memory allocation).
 
-  enable-fuzz
-                   Build with support for fuzzing. This is a developer option
-                   only. It may not work on all platforms and should never be
-                   used in production environments. See the file fuzz/README.md
-                   for further details.
+  enable-fuzz-libfuzzer, enable-fuzz-afl
+                   Build with support for fuzzing using either libfuzzer or AFL.
+                   These are developer options only. They may not work on all
+                   platforms and should never be used in production environments.
+                   See the file fuzz/README.md for further details.
 
   no-gost
                    Don't build support for GOST based ciphersuites. Note that
diff --git a/fuzz/README.md b/fuzz/README.md
index e8596a7b68..138af0d5d0 100644
--- a/fuzz/README.md
+++ b/fuzz/README.md
@@ -38,7 +38,7 @@ Configure for fuzzing:
     $ CC=clang ./config enable-fuzz-libfuzzer \
             --with-fuzzer-include=../../svn-work/Fuzzer \
             --with-fuzzer-lib=../../svn-work/Fuzzer/libFuzzer \
-            enable-asan enable-ubsan no-shared
+            -DPEDANTIC enable-asan enable-ubsan no-shared
     $ sudo apt-get install make
     $ LDCMD=clang++ make -j
     $ fuzz/helper.py $FUZZER