Small documentation update