diff --git a/spec.bs b/spec.bs
index d6b722e..0aa4843 100644
--- a/spec.bs
+++ b/spec.bs
@@ -436,12 +436,11 @@ To append an entry to the contribution cache given a
1. [=list/Append=] |entry| to the [=contribution cache=].
To get a debug details given a [=debug scope=]
-|debugScope|:
+|debugScope|, perform the following steps. They return a [=debug details=].
1. Let |debugScopeMap| be the [=debug scope map=].
-1. [=Assert=]: |debugScopeMap|[|debugScope|] [=map/exists=].
-
- Issue: This should return a default when the scope does not exist.
-1. Return |debugScopeMap|[|debugScope|].
+1. If |debugScopeMap|[|debugScope|] [=map/exists=], return
+ |debugScopeMap|[|debugScope|].
+1. Otherwise, return a new [=debug details=].
To mark a debug scope complete given a [=debug
scope=] |debugScope|: