fix for micro benchmarks