From f47786871c2ef9870bd1ee71ad2b73e220375b6d Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 15 Oct 2023 00:49:09 +0200
Subject: [PATCH] Tweak

---
 preserves-binary.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/preserves-binary.md b/preserves-binary.md
index 786f341..8ada4d2 100644
--- a/preserves-binary.md
+++ b/preserves-binary.md
@@ -140,9 +140,10 @@ represent the denoted object, prefixed with `[0x86]`.
 
     «@W V» = [0x85] ++ «W» «V»
 
-Each annotation precedes the `Value` it annotates. Implementations
-*SHOULD* default to omitting annotations from binary `Repr`s. See
-[examples in the appendix](#annotation-examples).
+Each annotation `W` precedes the `Value` `V` it annotates; both `W` and
+`V` *MAY* themselves be further annotated. Implementations *SHOULD*
+default to omitting annotations from `Repr`s. See [examples in the
+appendix](#annotation-examples).
 
 ## Security Considerations
 
@@ -215,7 +216,7 @@ values.
 
 ## Appendix. Examples
 
-### <a id="signedinteger-examples"></a>Binary SignedInteger examples
+### <a id="signedinteger-examples"></a>SignedInteger examples
 
       «-257» = B0 02 FE FF     «-2» = B0 01 FE       «255» = B0 02 00 FF
       «-256» = B0 02 FF 00     «-1» = B0 01 FF       «256» = B0 02 01 00