The problem is solved. Someone suggested I was logged in at the GUI. So I launched the GUI (power icon at the right upper corner of the screeen), hit my login name, which opened a pull down menu "logout". I hit that one and subsequently the problem never occurred anymore. Peter