update dumpSessionHistory documentation