bug fix in doctest for bwt