question about the length

hi, thanks for your great work, but I have some confuses with the length of below code,
https://github.com/wesbz/SoundStream/blob/e9dac26a7364656c5768cbc5dc38f41801d27831/main.py#L119

I wonder if the length should be:
```
lengths_s_x =  torch.div(lengths_x, 256, rounding_mode="floor") -  (1024/256 - 1)
```
really thanks for your answer.