  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.
