diff --git a/docs/source/reference/lua-scripting/index.rst b/docs/source/reference/lua-scripting/index.rst
index 75157982c9..c6adfc7723 100644
--- a/docs/source/reference/lua-scripting/index.rst
+++ b/docs/source/reference/lua-scripting/index.rst
@@ -12,4 +12,5 @@ OpenMW Lua scripting
 
     overview
     api
+    teal
 
diff --git a/docs/source/reference/lua-scripting/overview.rst b/docs/source/reference/lua-scripting/overview.rst
index 44c48d2742..36334492a7 100644
--- a/docs/source/reference/lua-scripting/overview.rst
+++ b/docs/source/reference/lua-scripting/overview.rst
@@ -1,18 +1,14 @@
 Overview of Lua scripting
 #########################
 
-.. toctree::
-    :hidden:
-
-    teal
-
 Language and sandboxing
 =======================
 
 OpenMW supports scripts written in Lua 5.1 with some extensions (see below) from Lua 5.2.
 There are no plans to switch to any newer version of the language, because newer versions are not supported by LuaJIT.
 
-There are also experimental declarations available for Teal, a typed dialect of Lua. see :ref:`Teal` for more details.
+.. note::
+  There are also experimental declarations available for Teal, a typed dialect of Lua. see :ref:`Teal` for more details.
 
 Here are some starting points for learning Lua:
 
diff --git a/docs/source/reference/lua-scripting/teal.rst b/docs/source/reference/lua-scripting/teal.rst
index 4ba4f2d507..7808210807 100644
--- a/docs/source/reference/lua-scripting/teal.rst
+++ b/docs/source/reference/lua-scripting/teal.rst
@@ -1,3 +1,4 @@
+####
 Teal
 ####