small documentation update