Fix an ugly indentation.
Merge branch 'v8-upgrade' of ssh://github.com/triAGENS/ArangoDB into v8-upgrade