Doc formatting tweak