Corrections of .gitignore