Well it's ambiguous if you put it like that. He never said "there's a logout procedure people are expected to follow" and even if there is, then it's *that* that he needs to spell out to users.