little fixes to benchmark