Minor changes to git ignore