diff --git a/preserves.md b/preserves.md
index e19967d..ecebac4 100644
--- a/preserves.md
+++ b/preserves.md
@@ -714,8 +714,8 @@ The functions `binary32(F)` and `binary64(D)` yield big-endian 4- and
 To annotate a `Repr` `r` with some `Value` `v`, prepend `r` with
 `[0x05] ++ [[v]]`.
 
-For example, the `Repr` corresponding to textual syntax `@a@b[]`, i.e.
-an empty sequence annotated with two symbols, `a` and `b`, is
+For example, the `Repr` corresponding to textual syntax `@a @b []`,
+i.e. an empty sequence annotated with two symbols, `a` and `b`, is
 
     [[ @a @b [] ]]
       = [0x05] ++ [[a]] ++ [0x05] ++ [[b]] ++ [[ [] ]]