This section is wrongly indented--it's appearing as part of the verbatim example text.