I think this would be more helpful if it were a `span_bug` (in general, most of the `.bug`s should be `span_bug`s, if it's not too hard to feed a span down).