Another benchmark fix