Rename txt file

Not a big deal, just going with the standard for file naming.