minor fixes to redo