small fix of output file name