And from what I read, the futures did halt at 5% yesterday. So it was already sort of expected that the 7% stop would be hit today.