Change name of text output file

The name of the text output file was the text id plus '_01'. The name of
the output file was changed to the text id. This makes it easier to
extract the text id from the file name.