! An annoying –but harmless– fatal error was shown on upgrade from older versions (thanks, Nicholas!)