Type parameter check fixed and reformated benchmarks