Thanks for responding.
It is good that the behaviour is confirmed. However, this is my first encounter with this way of restoring previous sessions. Actually this is restoring the "session before last." Firefox, Opera, and others restore the session just before last close, whether gracefully or after a crash.
SoerenB, will you further explain: "reload just one tab before exit