Fix a typing error in the file name