Misc editorial

[guybedford]

I wanted to separate out the normative from editorial, so here is a first minor editorial PR

• Adds a missing insertion
• Removes an unnecessary syntax diff, I assume from the previous iterations