[doc] Minor improvements.