Closing the bug as it has been resolved in the meantime. Thanks, Guillaume, for catching up on this issue.