Given the numbering indentation, this is a child of 13.1. Should it use `h3` rather than `h2`?