Minor addition in gitignore