Timing, apparently, it is all in the "timing". That one has been "broken" for some time (<a href='read_msg.asp?message_id=2838279'>#msg-2838279</a>), that was a good time to short.