The file name now shows up at the end of the navigation bar upon loading a file.