slightly smaller output file