Rename denver to denver.txt