Change Details

I have verified using the included debugging printf() that this scenario does happen. That said, it's not that common.