Documentation updated to reflect both output file names.