Minor update, .gitignore