It is a standard and useful practice to give precise conditions under which a theorem is known to be true, especially if these bring out methods used in the proof. Eldon Dyer suggested to me in the late 1960s that Dold's paper was the first full proof of the globalisation result, and this realisation led to the Dyer-Eilenberg paper referred to in this mathoverflowthis mathoverflow question.