Well, that thing has been disbanded anyway, so I won’t have to deal with the other thing again that’s in the former. Hah. The other thing is a typo even! (Though one could argue that this one is also a typo.)