fix bug #127: update session class