redo: misc fixes