Fix some typos, add code formatting

These commits include a minor typo correction, two parts that should be formatted as code, and a fix for the section numbering of 3.3 Queries.

I also backported a one sentence paragraph from the online version of the document that was missing from this one.