That may be. Good points! Fortunately, in the end, it doesn't matter that much: just another stupid correction. Let's hope we're finally done with that.