After submitting this paper, we discovered that Lemma 8 is a direct consequence of Theorem 0.2 in
C. Casacuberta and J.L. Rodriguez On weak homotopy equivalences between mapping spaces, Topology 37 (1998) pp. 709-717.