I find it interesting that a PR like that could come out mid-day without a trading halt. Perhaps Finra didn't deem the PR to be significant.