.gitignore: minor fix