tiny documentation update.