Prelude: update doc