fix benchmark breakage