Should this be `(indexBitLength >= 1) && (indexBitLength <= 13)`