Redo now works.