minor improvements to benchmarking doc