mini-dinstall log notice (ERROR)

[Mini-Dinstall <ajt@alioth.debian.org>]

Unhandled exception; shutting down
Traceback (most recent call last):
  File "/usr/bin/mini-dinstall", line 1165, in run
    self._index_all(1)
  File "/usr/bin/mini-dinstall", line 1156, in _index_all
    self._index(self._arches + ['source'], force)
  File "/usr/bin/mini-dinstall", line 1247, in _index
    self._index_impl(arches, force=force)
  File "/usr/bin/mini-dinstall", line 1378, in _index_impl
    self._make_sourcesfile(self._relpath())
  File "/usr/bin/mini-dinstall", line 1098, in _make_sourcesfile
    self._make_indexfile(dir, 'sources', 'Sources')
  File "/usr/bin/mini-dinstall", line 1077, in _make_indexfile
    buf = stdout.read(8192)
IOError: [Errno 512] Unknown error 512