documentation formatting tweak