Fix the wrong total number reported in metrics

Amir MOHAMMADIrequested to merge
metrics-fix into master

Fixes bob.measure#61 (closed)

Edited by Amir MOHAMMADI

Merge request reports