Fix error in FKBenchmark