diff --git a/README.md b/README.md
index 37b50e73..47939c18 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 # LNSym: Native Code Symbolic Simulator in Lean
-[![Makefile CI](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg)](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml) 
+[![Makefile CI](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg)](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml)
 
 LNSym is a symbolic simulator for Armv8 machine-code programs.
 
@@ -41,6 +41,8 @@ native-code programs of interest.
 
 `awslc_elf`: perform ELF loading tests for AWS-LC.
 
+`benchmarks`: run benchmarks for the symbolic simulator.
+
 ### Makefile variables that can be passed in at the command line
 
 `VERBOSE`: Verbose mode; prints disassembly of the instructions being