Oops, fix .gitignore