Clarify Session.setDefault docs.

Wording suggested by @PeppeL-G.

Fixes #2725.