Fix: ht bucket index calculation

We might do this, _after_ the attribute header is fixed.