[doc] small documentation update