.gitignore fix (hopefully)