A note on the spin-polarization of hydrogen atoms in a helium–hydrogen gas mixture