minor fix to output filename