Note on fermion propagator in thermo field dynamics