Fix an error where I forgot to change the filename