issue #835: arangosh doesn't show correct database name