small fix for session manager