Fix error in arclength_degrees.py