minor fixes for benchmarking