BUG: Bad output file.