minor fix on benchmark logging header