minor cleanup of Session.cs