smaller documentation update