Little documentation update