another small documentation update