Minor improvements

I've updated .gitignore.