minor fix of gitignore