redo documentation