Tiny documentation update