DOC: Minor formatting changes for #8488