Spontaneous morphological remodelling of the O-C1 joint after posterior fusion for occipitocervical dislocation