redo and formatting