@@ -413,7 +413,7 @@ which we use in `axe.hoon`: `print`, `prompt`, and `produce`.
413413
414414In our example, `%+` is the rune to call a gate, and our gate `print` takes one
415415argument which is a `tank` to print. The `+` here is syntactic sugar for
416−`[leaf "What is your favorite color?"]` that just makes it easier to write.
416+`[%leaf "What is your favorite color?"]` that just makes it easier to write.
417417
418418**`prompt`** is used to construct a prompt for the user to provide input.
419419It takes a single argument that is a tuple. Most `%ask` generators will want to