diff --git a/docs/_pages/demo.md b/docs/_pages/demo.md
index b7e649f2..fefa4b20 100644
--- a/docs/_pages/demo.md
+++ b/docs/_pages/demo.md
@@ -1,7 +1,6 @@
 ---
 permalink: /demo
 title: Demo
-toc: true
 ---
 
-{% include repl.html %}
\ No newline at end of file
+{% include repl.html %}