Minor changes in Git ignore