diff --git a/src/operation/scripting.md b/src/operation/scripting.md
index 5190838..178eff7 100644
--- a/src/operation/scripting.md
+++ b/src/operation/scripting.md
@@ -384,11 +384,11 @@ directory using the environment given.
```
**Example 4.** The final example executes a script in response to
-an `exec` record being sent as a message to `$config`. The use of `??` indicates a
+an `exec/restart` record being sent as a message to `$config`. The use of `??` indicates a
message-event-handler, rather than `?`, which would indicate an assertion-event-handler.
```preserves
-?? [
+?? [
let ?id = timestamp
let ?facet = facet
let ?d =
@@ -404,8 +404,8 @@ message-event-handler, rather than `?`, which would indicate an assertion-event-
```
First, the current timestamp is bound to `$id`, and a fresh entity representing the facet
-established in response to the `exec` message is created and bound to `$facet`. The variable
-`$d` is then initialized to a value uniquely identifying this particular `exec` request. Next,
+established in response to the `exec/restart` message is created and bound to `$facet`. The variable
+`$d` is then initialized to a value uniquely identifying this particular `exec/restart` request. Next,
`run-service` and `daemon` assertions are placed in `$config`. These assertions communicate
with the [built-in program execution and supervision service](./builtin/daemon.md), causing a
Unix subprocess to be created to execute the command in `$argv`. Finally, the script responds
diff --git a/src/operation/synit-config.md b/src/operation/synit-config.md
index c857841..941911f 100644
--- a/src/operation/synit-config.md
+++ b/src/operation/synit-config.md
@@ -266,7 +266,7 @@ enabled when they appear and disabled when they disappear:
$machine ? [
$config [
!
- ?- !
+ ?- !
]
]
```
@@ -299,7 +299,7 @@ The final pieces of network.pr are static configuration of the loopback interfac
>
? > [
!
- ?- !
+ ?- !
]
```