Fix console annotation of SSpan and SSpanningRelation