Minor corrections, .gitignore