slight modifications of Session class