Update VM docs for GroupLen

2 files changed, 6 insertions, 6 deletions

diff --git a/docs/implementation/vm.html b/docs/implementation/vm.html
index f00f64ac..50f19d1b 100644
--- a/docs/implementation/vm.html
+++ b/docs/implementation/vm.html
@@ -411,12 +411,12 @@
 <tr>
 <td align="right">3</td>
 <td><code><span class='Function'>GroupLen</span></code></td>
-<td><code><span class='Function'>≠</span><span class='Modifier'>¨</span><span class='Function'>⊔</span><span class='Value'>𝕩</span></code> for a valid list <code><span class='Value'>𝕩</span></code></td>
+<td><code><span class='Function'>≠</span><span class='Modifier'>¨</span><span class='Function'>⊔</span><span class='Value'>𝕩</span></code> for a valid list <code><span class='Value'>𝕩</span></code>, with minimum length <code><span class='Value'>𝕨</span></code></td>
 </tr>
 <tr>
 <td align="right">4</td>
 <td><code><span class='Function'>GroupOrd</span></code></td>
-<td><code><span class='Function'>∾⊔</span><span class='Value'>𝕩</span></code> provided <code><span class='Value'>𝕨</span></code> is <code><span class='Function'>GroupLen</span> <span class='Value'>𝕩</span></code></td>
+<td><code><span class='Function'>∾⊔</span><span class='Value'>𝕩</span></code> provided <code><span class='Value'>𝕨</span></code> is <code><span class='Value'>l</span> <span class='Function'>GroupLen</span> <span class='Value'>𝕩</span></code> (any <code><span class='Value'>l</span></code>)</td>
 </tr>
 <tr>
 <td align="right">5</td>
@@ -523,7 +523,7 @@
   <span class='Value'>l</span> <span class='Gets'>←</span> <span class='Number'>¯1</span> <span class='Function'>⌈</span><span class='Modifier'>´</span> <span class='Value'>𝕩</span>
   <span class='Value'>r</span> <span class='Gets'>←</span> <span class='Paren'>(</span><span class='Value'>l</span><span class='Function'>+</span><span class='Number'>1</span><span class='Paren'>)</span> <span class='Function'>⥊</span> <span class='Number'>0</span>
   <span class='Brace'>{</span> <span class='Paren'>(</span><span class='Value'>𝕩</span><span class='Function'>⊑</span><span class='Value'>r</span><span class='Paren'>)</span> <span class='Function'>+</span><span class='Gets'>↩</span> <span class='Number'>1</span> <span class='Brace'>}</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>0</span><span class='Modifier2'>⊸</span><span class='Function'>≤</span><span class='Paren'>)</span><span class='Modifier'>¨</span> <span class='Value'>𝕩</span>
-  <span class='Value'>r</span>
+  <span class='Paren'>(</span><span class='Value'>𝕨</span><span class='Function'>⌈≠</span><span class='Value'>r</span><span class='Paren'>)</span> <span class='Function'>↑</span> <span class='Value'>r</span>
 <span class='Brace'>}</span>
 
 <span class='Function'>GroupOrd</span> <span class='Gets'>←</span> <span class='Brace'>{</span>
diff --git a/implementation/vm.md b/implementation/vm.md
index 502669b8..3229eae3 100644
--- a/implementation/vm.md
+++ b/implementation/vm.md
@@ -125,8 +125,8 @@ The contents of a core runtime are given below. The names given are those used i
 |   0 | `Type`     | `•Type`
 |   1 | `Fill`     | Get or set the fill value for array `𝕩`
 |   2 | `Log`      | `⋆⁼` (natural or base-`𝕨` logarithm) for atomic arguments
-|   3 | `GroupLen` | `≠¨⊔𝕩` for a valid list `𝕩`
-|   4 | `GroupOrd` | `∾⊔𝕩` provided `𝕨` is `GroupLen 𝕩`
+|   3 | `GroupLen` | `≠¨⊔𝕩` for a valid list `𝕩`, with minimum length `𝕨`
+|   4 | `GroupOrd` | `∾⊔𝕩` provided `𝕨` is `l GroupLen 𝕩` (any `l`)
 |   5 | `!`        |
 |   6 | `+`        | On two atoms
 |   7 | `-`        | On one or two atoms
@@ -159,7 +159,7 @@ GroupLen and GroupOrd, short for Group length and Group order, are used to imple
       l ← ¯1 ⌈´ 𝕩
       r ← (l+1) ⥊ 0
       { (𝕩⊑r) +↩ 1 }⍟(0⊸≤)¨ 𝕩
-      r
+      (𝕨⌈≠r) ↑ r
     }
 
     GroupOrd ← {