Follow up: update .gitignore