question about the length

[lonelyJOJO-s]

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.