The loss wasn't allowed in the current year, but it was added to basis of the remaining stock, so eventually the lower tax still happens.
I guess the bright side is that when I finally have some capital gains to report when I retire, I'll have something to offset them as the amount is large enough that the capital loss deduction allowed for ordinary income won't even be close to depleting it when I hit retirement age.