Great, just checking :)
Then I can safely continue finalizing the merge.