Minor fix to get_metrics