Hmm, I still think that this shouldn't happen anymore nowadays and just hides the real symptom which could cause other bugs… But sure, we can fix it later on.