Fixes a minor file reference that got forgotten