Fix filename

Post-renaming.