Fixes to the gitignore