Shorting $WIF is correct