Minor fixes, .gitignore