fixed some issues with printing in arangosh