82c459bef8
the fix and when I committed it -- in between the two, DES committed a different fix, rendering this fix unneeded. Requested by: des