fix bug in computing benchmark statistics