Minor update to .gitignore