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.