I finished a pool swim activity and realized I entered the wrong pool size in settings (20 yd instead of 25 yd). I edit the workout in Garmin Connect, fix the pool size to 25 yd, and it recalculates the total distance during the workout. But when I go to stats and I see each lap, all lengths still measure 20 yd, and it messes up the average pace and other stats. Any way around to fix these?