From f3754de0cbea469cfb36a1defabd5f703e4d8312 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Tue, 24 Jul 2018 13:17:19 -0400
Subject: [PATCH] Fix table header

---
 docs/Lazy-Sweeping.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/Lazy-Sweeping.md b/docs/Lazy-Sweeping.md
index b5c2b51a..5d422c84 100644
--- a/docs/Lazy-Sweeping.md
+++ b/docs/Lazy-Sweeping.md
@@ -198,7 +198,8 @@ The existing GC tracked free space and would start a major GC once the amount of
 TODO: compare performance of new GC to old one, perhaps with benchmarks (compare 0.8.1 release with current 0.9 branch)
 Graph benchmarks in the google docs spreadsheet
 
-Benchmark|0.8.1|0.9|Reduced Time
+Benchmark | 0.8.1 | 0.9 | Reduced Time
+--------- | ----- | --- | ------------
 browse | 25.34 | 22.21 | 87.65%
 deriv | 17.17 | 10.83 | 63.10%
 destruc | 38.00 | 30.94 | 81.41%