Fixed miniboxed benchmarks