make output of SessionEventManager::dump_events() a bit more readable