doc formatting tweak