Cosmetic

Micro-patch to make docs format a bit more consistent.