• fix benchmarking broken by 7fec1da

    jackinloadup committed Nov 2, 2016