revert spurious change in metrics.py