(or wherever `span_bug` is located)