[doc] Minor touch-ups