minor bug/improvement in benchmark runner