diff --git a/FileCheck.pdf b/FileCheck.pdf
index 58d1826..ba0d658 100644
Binary files a/FileCheck.pdf and b/FileCheck.pdf differ
diff --git a/docs/06-options.rst b/docs/06-options.rst
index 8e733af..ef7788f 100644
--- a/docs/06-options.rst
+++ b/docs/06-options.rst
@@ -103,10 +103,13 @@ FileCheck.py follows LLVM FileCheck in the following implementation details:
 
 - The implicit checks are substring-matched i.e. their are ``in`` checks, not
 ``==`` checks.
+
 - The implicit checks are case sensitive, so ``error`` check will not match
 ``ERROR`` in the input.
+
 - The implicit check has lower priority than the positive `CHECK*` checks,
 but it has higher priority than negative `CHECK-NOT` checks.
+
 - To provide multiple implicit checks, duplicate the argument
 ``--implicit-check-not <your check>`` multiple times.