Fixing OperatorRedo behavior. Made OperatorScan more lazy.