The Jouanolou-Thomason homotopy lemma