Make the simple pruner work again.