minor change, gitignore: