some remarks on the proof of emptop/P_0(C) free completion under contractible colimits