fix filename change bug introduced in previous commit.