fixed typo
Merge branch '1.2' of github.com:triAGENS/ArangoDB into 1.2