Grigore: I asked Andrei to elucidate what exactly was going on here and he did in a follow-up commit. I agree with your philosophy though; always better to just take a moment to add a comment than to deliberate over whether one is necessary.