Added a specification for the "Session" interface
Removed an obsolete comment