Bug fixes in the Myers diff algorithm.