diff --git a/verifier/tools/README.md b/verifier/tools/README.md
index 71570ad39..cb62a3b27 100644
--- a/verifier/tools/README.md
+++ b/verifier/tools/README.md
@@ -1,5 +1,6 @@
 # CEL Java Verifier CLI & Interactive REPL Tool
 
+
 The CEL Java Verifier comes with a command-line tool (`cel-verifier`) and an
 interactive REPL shell for testing satisfiability, validity, equivalence,
 and policy invariants without writing Java code.