On traces and modified Fredholm determinants for half-line Schrödinger operators with purely discrete spectra