Thanks, the fix has been merged to FACTORY now, so let's close. (Sorry for the late update, I've been off and busy for weeks due to conferences and vacation.)