Erratum: Proving sequence aligners can guarantee accuracy in almost O(m log n) time through an average-case analysis of the seed-chain-extend heuristic - Shaw, Jim; Yu, Yun William