Minor change. Fix gitignore