Trivial formatting fixes in docs
Use unique labels for Sphinx references