tiny documentation update