Minor fixes in gitignore, some comments