Tiny documentation update.