Fix the final bug for benchmarking ex