Cervical length

KP

At 16 weeks my cervical length was 5cm and at my anatomy scan today at 20 weeks it has gone to 3.25. Is this normal? Should I be worried that it got shorter? Anyone know a normal cervical length for 20 weeks? I didn’t see my dr today so couldn’t ask, the ultrasound tech didnt seem concerned.