fix a bug in benchmark and reformating