Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]

The purpose of this addendum is to close a gap in the proof of [1, Theorem 11.2], which characterizes the computational content of the Bolzano-Weierstraß Theorem for arbitrary computable metric spaces.