Fix filename error caused by commit b7ec8a97