Change Details

I don't know how to test this beyond make tinderbox. @jhibbits please feel free to take this patch over if desired.