improve some comments

and remove a stray semicolon (oops)

Force-Push: yes
Change-Id: I1b26410f5f461f9026637b5509de3912defcd784

2 files changed, 8 insertions, 8 deletions

diff --git a/labels.e b/labels.e
index d90ab0a..f0629a8 100644
--- a/labels.e
+++ b/labels.e
@@ -133,7 +133,6 @@
 
   ~ Return the guessed value.
   label-value @ ;
-  ;
 
 ~   This overwrites the value of a label, also doing all necessary status
 ~ checks and jupdates to keep track of the cirumstances under which it was
@@ -166,8 +165,7 @@
   ~ (entry, updated status, new value)
   3roll dup 3unroll
   ~ (updated status, entry, new value, entry)
-  label-value ! label-status !
-  ;
+  label-value ! label-status ! ;
 
 ~   This is a convenience helper which downstream code can use to check how
 ~ many bytes it has output thus-far.
diff --git a/transform.e b/transform.e
index 20e7a36..ddf3208 100644
--- a/transform.e
+++ b/transform.e
@@ -2665,8 +2665,8 @@ allocate-transformation-state s" transformation-state" variable
 ~ (name pointer --)
 : hex-variable-use-outer
   ~   The actual payload here is that we check whether we're defining the
-  ~ word "interpreter-flags" and, if so, we make it reference the outer
-  ~ backing store instead of the inner one.
+  ~ word described by the name pointer we were given, and, if so, we make it
+  ~ reference the outer backing store instead of the inner one.
   ~
   ~   We want to do this all as references to inner words, which fortunately
   ~ have been defined by now, but we have to do that a bit indirectly...
@@ -2871,10 +2871,11 @@ allocate-transformation-state s" transformation-state" variable
 ~ label transform, these are NOT real labels; they're restricted similarly to
 ~ how they are for the log-load transform.
 ~
-~   Per the precedence rules in hex-transform-one, this version will only
-~ apply for immediate execution; compilation will use the inner label system
-~ instead.
+~   Per the precedence rules in hex-transform-one, this version will apply to
+~ all invocations, regardless of compile mode vs. immediate execution.
+~ However, its own logic defers to the inner label system when that exists.
 : hex-L@'-alternate
+  ~ If there's an inner copy of L@' defined, defer to it.
   s" L@'" find dup {
     entry-to-execution-token execute
     exit
@@ -2885,6 +2886,7 @@ allocate-transformation-state s" transformation-state" variable
   ; make-immediate
 
 : hex-L!'-alternate
+  ~ If there's an inner copy of L!' defined, defer to it.
   s" L!'" find dup {
     entry-to-execution-token execute
     exit