Fixed a small bug(?) with delta pruning.