Pippin should be delisted first, not the other way around