BugFix: Changing option of one file also changed option of another file