triAGENS/ArangoDB — pull request #519 by guidoreina (2013-05-09 17:15:33+00:00)
Title: Minor bug fixes.

I have fixed some minor bugs I have found while reading the source code. Small bugs which don't show up unless something really horrible has already happened.