try to fix doc formatting nits