Session leave and more tracing