minor documentation update