Fixed bwtLength()