minor fix for gitignore