Further improvement to .gitignore.
Fix behaviour of bind_instance.