[tor-commits] [metrics-lib/release] Implements fix discovered by karsten.