diff --git a/compatibility/src/README.md b/compatibility/src/README.md
index a0185e2c2..179e2bd55 100644
--- a/compatibility/src/README.md
+++ b/compatibility/src/README.md
@@ -2,11 +2,11 @@
 # Backwards Compatibility
 
 ## TL;DR
-The encoding of the bytes in libra uses `BCS` which is a de/serialization implementation using `serde`. Libra Version Six and beyond cannot decode transaction logs or state snapshots from V5 without these tools.
+The encoding of the bytes in libra uses `BCS` which is a de/serialization implementation using `serde`. Libra Version Six and beyond cannot decode transaction logs or state snapshots from Libra Version Five without these tools.
 
 # Explain
 
-V6 was a kitchen sink upgrade with a new genesis, since there were upgrades throughout the stack that would have created a discontinuity in blocks anyhow.
+Version Six was a kitchen sink upgrade with a new genesis, since there were upgrades throughout the stack that would have created a discontinuity in blocks anyhow.
 
 The bytes present in prior db, logs, and backups prior to V6 had different memory layouts. For every K-V structure the keys had different hashes, and the values had different encoding layouts.
 
@@ -20,16 +20,21 @@ This compatibility library ports the some V5 Rust code so that certain elemental
 
 1. `AccountStateBlob` stored bytes are not what they seem: In the State Snapshot backup files, each chunk is represented by a tuple of `(HashedValue, AccountStateBlob)`. For clarity we added a definition of `AccountStateBlobChunkV5`.
 
-1. `HashValue` is evil: The HashValue layout has not changed, but it invokes loup garou vodoo, and the custom deserializer of HashedValue uses a different intermediary representation for the byte layout
+1. `HashValue` is evil: The HashValue layout has not changed, but it invokes loup garou vodoo, and the custom deserializer of HashedValue uses a different intermediary representation for the byte layout.
+
 ```
+// V5:
 #[derive(::serde::Deserialize)]
 #[serde(rename = "HashValue")]
 struct Value<'a>(&'a [u8]);
 
-let value = Value::deserialize(deserializer)?;
-Self::from_slice(value.0).map_err(<D::Error as ::serde::de::Error>::custom)
+// V6:
+struct Value<'a> {
+    hash: &'a [u8; HashValue::LENGTH],
+}
 ```
-1. `AccountAddress` makes everything fail: fixed lengths have changed, from V5 to V6 the addresses doubled in size (32 to 64 bits). No KV lookup will work because the byte-encoded key always has the Core Code Address, (0x1) which changed from being prepended with 16 zeros, to 32 zeros. So all language_storage.rs structs are changed to use `LegacyAddressV5`.
+
+4. `AccountAddress` makes everything fail: fixed lengths have changed, from V5 to V6 the addresses doubled in size (32 to 64 bits). No KV lookup will work because the byte-encoded key always has the Core Code Address, (0x1) which changed from being prepended with 16 zeros, to 32 zeros. So all language_storage.rs structs are changed to use `LegacyAddressV5`.
 
 # Tests
 The principal tests to run are in `state_snapshot_v5.rs`, where we try to sanity test the encoding and decoding of structs for the v5 language elements.