Clear up a little confusion about file names