Correction of .gitignore