A corrected quantitative version of the Morse lemma
There is a gap in the proof of the main theorem in the article [ShCh13a] on optimal bounds for the Morse lemma in Gromov-hyperbolic spaces. We correct this gap, showing that the main theorem of [ShCh13a] is correct. We also describe a computer certification of this result.