“…Proof of Theorem 1.2. To make this note complete, we shall repeat a Schröder-Bernstein type argument due to Cenzer and Mauldin [CM,Proof of Theorem 4] to derive Theorem 1.2 from Corollary 2.2. Let B c 2" X 2" be a Borel set whose vertical sections B(x) are all uncountable, let k: 2" X 2" -» B be the map described in Corollary 2.2, let S0 = B\k(2" X2"), T0= (2" X 2U)\B, GO S" = k"(S0), Tn = k"(T0), D = fi *"(2" X 2"), « = i and let oc oo 77=7>U \js", G=Ur",…”