fix benchmark numbers