fixed spurious git ignores