Fixed an issue #12b9dd0 relating to the recent filename renaming