diff --git a/Project.toml b/Project.toml
index f7ab46e0..7920b392 100644
--- a/Project.toml
+++ b/Project.toml
@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.0"
+version = "0.9.1"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"
diff --git a/docs/src/index.md b/docs/src/index.md
index d14e86c5..1f2b2b57 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -10,15 +10,22 @@ public interface of Libtask.jl.
 They divide neatly into two kinds of functions: those which are used to manipulate
 [`TapedTask`](@ref)s, and those which are intended to be used _inside_ a
 [`TapedTask`](@ref).
-First, manipulation of [`TapedTask`](@ref)s:
+
+## Manipulation of [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.consume
 Base.copy(::Libtask.TapedTask)
 Libtask.set_taped_globals!
 ```
 
-Functions for use inside a [`TapedTask`](@ref)s are:
+## Functions for use inside a [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.produce
 Libtask.get_taped_globals
 ```
+
+An opt-in mechanism marks functions that might contain `Libtask.produce` statements. 
+
+```@docs; canonical=true
+Libtask.might_produce(::Type{<:Tuple})
+```
diff --git a/docs/src/internals.md b/docs/src/internals.md
index cfcf756d..5ab5060d 100644
--- a/docs/src/internals.md
+++ b/docs/src/internals.md
@@ -3,7 +3,6 @@
 ```@docs; canonical=true
 Libtask.produce_value
 Libtask.is_produce_stmt
-Libtask.might_produce
 Libtask.stmt_might_produce
 Libtask.inc_args
 Libtask.get_type