Minor .gitignore fixes