Some minor modifications in both benchmark files