Fixes bug count in Natural
Update benchmarks