updated output-file entry in __doc__