The goal of this addendum to [1] is to show that our methods together with a result of Bestvina, Bromberg and Fujiwara [3, Proposition 5.9] yield a proof of the following theorem. Theorem 1. If a finitely presented group Γ has infinitely many pairwise non-conjugate homomorphisms into MCG(S), then Γ virtually splits (virtually acts non-trivially on a simplicial tree).This theorem is a particular case of a result announced by Groves. † From private emails received by the authors, it is clear that the methods used by Groves are significantly different. Note that the same new methods allow us to give another proof of the finiteness of the set of homomorphisms from a group with property (T) to a mapping class group [1, Theorem 1.2], which is considerably shorter than our original proof; see Corollary 6 and the discussion following it. Theorem 1.2 in [1] may equally be obtained from Theorem 1 and the fact that every group with property (T) is a quotient of a finitely presented group with property (T) (see [11, Theorem p. 5]).The property of the mapping class groups given in Theorem 1 can be viewed as another 'rank 1' feature of these groups. In contrast, note that a recent result of [8] shows that the rank 2 lattice SL 3 (Z) contains infinitely many pairwise non-conjugate copies of the triangle group Δ(3, 3, 4) = a, b | a 3 = b 3 = (ab) 4 = 1 . Also, as was pointed out to us by Kassabov, although the group SL 3 (Z[x]) has property (T) (see [12]), it has infinitely many pairwise non-conjugate homomorphisms into SL 3 (Z) induced by ring homomorphisms Z[x] → Z.The following proposition contains one of the main auxiliary results in [3] and the key ingredient missed in our treatment of groups with many homomorphisms into mapping class groups in [1].Proposition 2 (Bestvina, Bromberg and Fujiwara [3, Proposition 5.9]). There exists an explicitly defined finite index torsion-free subgroup BBF(S) of MCG(S) such that the set of all sub-surfaces of S can be partitioned into a finite number of subsets C 1 , C 2 , . . . , C s , each of which is an orbit of BBF(S), and any two sub-surfaces in the same subset overlap and have the same complexity.