Is that just an omission?

(dmc.exe does seem to use it, as it should.)

Thanks,
Sz.