From 51f42e45a0fb3060b03d45d520b4e4d7fc8b35e0 Mon Sep 17 00:00:00 2001
From: Tom Ball <tballmsft@users.noreply.github.com>
Date: Mon, 30 Oct 2017 15:06:27 -0700
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index fa8192d..09655b0 100755
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 PyExZ3
 ======
 
-###Python Exploration with Z3
+### Python Exploration with Z3
 
 This code is a substantial rewrite of the NICE project's
 (http://code.google.com/p/nice-of/) symbolic execution engine for
@@ -31,7 +31,7 @@ execution; no AST rewriting or bytecode instrumentation is required,
 This significantly improves the robustness and portability of **PyExZ3**, 
 as well as reducing its size.
 
-###Setup instructions:
+### Setup instructions:
 
 - Make sure that you use Python 32-bit (64-bit) if-and-only-if you use the Z3 32-bit (64-bit) binaries. 
 Testing so far has been on Python 3.2.3 and 32-bit.