Change 24795
Minor adjustments.
* Improved the filename to which the output is written.
* Switched the write-to-file mechanism.
* Corrected the counting commands (an additional 'files' was mistakenly left behind in an earlier tidy-up).
* Improved the filename to which the output is written.
* Switched the write-to-file mechanism.
* Corrected the counting commands (an additional 'files' was mistakenly left behind in an earlier tidy-up).