Jan Engelhardt - 2017-01-13

I think metrics.mean could be wrong here.