bugs in FF MaxSpanFreeNonTermSource