Minor change to gitignore