After looking at various `span_err`s, I think you're right.