gitignore, minor style fixes