minor .gitignore fixes