[misc] Fix filename