Fix on benchmark results reporting, minor issue