Oups, that last message should have been: Fixed #7261: Typo in splash page