Maybe actually fix .gitignore?