[doc] Various formatting fixes