Fixes #725: Inventory file name never change

Oops! That was silly... I'll update the PR in a few minutes.