redo and time comparator fixed