Add test for redo bug.