Rename sudocode.txt.txt to sudocode.txt