tiny change in gitignore