fix broken benchmark