@criciot - ik kijk nu pas een dag later weer, maar zie ondertussen dat jtk het juiste antwoord al heeft gegeven.
BTW is het handig om regelmatig je wachtwoorden aan te oppassen. Ikzelf doe het ongeveer 1 x per maand en laat 1Password de wachtwoorden voor mij genereren. Werkt al jaren perfect voor mij.