Fix docs for wf:session/2