diff --git a/include/aos/invocations.h b/include/aos/invocations.h
index 2fac29d..9c7462e 100644
--- a/include/aos/invocations.h
+++ b/include/aos/invocations.h
@@ -354,6 +354,11 @@ invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher,
                        dd_caddr).error;
 }
 
+static inline errval_t invoke_dispatcher_stop(struct capref dispatcher)
+{
+    return cap_invoke1(dispatcher, DispatcherCmd_Stop).error;
+}
+
 
 static inline errval_t
 invoke_dispatcher_properties(struct capref dispatcher,
diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index 12e683d..9b5422f 100644
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -519,6 +519,7 @@ enum kernel_cmd {
  */
 enum dispatcher_cmd {
     DispatcherCmd_Setup,            ///< Set dispatcher parameters
+    DispatcherCmd_Stop,             ///< afeer: script page 105: stop a process
     DispatcherCmd_Properties,       ///< Set dispatcher properties
     DispatcherCmd_PerfMon,          ///< Performance monitoring
     DispatcherCmd_SetupGuest,       ///< Set up the DCB of a guest domain
diff --git a/lib/spawn/spawn.c b/lib/spawn/spawn.c
index 9d9b8c9..cb07ad6 100644
--- a/lib/spawn/spawn.c
+++ b/lib/spawn/spawn.c
@@ -351,7 +351,7 @@ errval_t spawn_load_argv(int argc, char *argv[], struct spawninfo *si,
     domain_params->argv[argc] = NULL;
     domain_params->envp[0] = NULL;
 
-    // afeer: script page 104: set the first register using registers_set_param(arch_registers_state_t)
+    // afeer: script page 104: set the first register
     registers_set_param(enabled_area, (uint64_t) arguments_page_in_child);
 
     // - Make the new dispatcher runnable