For future reference: I created a PR, which is now merged into Badger, so should be fixed in the next Dgraph release.