Minor renaming in output file