diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md
index bd824eb1..e1dd6f5e 100644
--- a/content/rooms/fragments/v2-state-res.md
+++ b/content/rooms/fragments/v2-state-res.md
@@ -94,7 +94,7 @@ ordered from oldest to newest.
 Let *e* = *e<sub>0</sub>* be another event (possibly another
 `m.room.power_levels` event). We can compute a similar list of events
     [*e*<sub>1</sub>, ..., *e<sub>m</sub>*],
-where *e<sub>*j* + 1</sub>* is the `m.room.power_levels` event in the
+where *e<sub>*j*+1</sub>* is the `m.room.power_levels` event in the
 `auth_events` of *e<sub>j</sub>* and where *e<sub>m</sub>* has no
 `m.room.power_levels` event in its `auth_events`. (Note that this second list
 may be empty, because *e* may not cite an `m.room.power_levels` event in its
@@ -103,8 +103,8 @@ may be empty, because *e* may not cite an `m.room.power_levels` event in its
 Now compare these two lists as follows.
 * Find the smallest index *j* ≥ 1 for which *e<sub>j</sub>* belongs to the
    mainline of *P*.
-* If *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique index
-  *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater
+* If such a *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique
+  index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater
   than any integer.
 * In both cases, the *position of e in the mainline of P* is *i*.
 
@@ -113,7 +113,7 @@ from smallest to largest, using the following comparison relation on
 events: for events *x* and *y*, *x* &lt; *y* if
 
 1.  the position of *x* in the mainline of *P* is **greater** than
-    the position of *y* in the mainline of *P*.
+    the position of *y* in the mainline of *P*; or
 2.  the positions of the events are the same, but *x*'s
     `origin_server_ts` is *less* than *y*'s `origin_server_ts`; or
 3.  the positions of the events are the same and the events have the