[doc] more tiny doc tweaks