Fixup for the ArangoDB Shell Script