Fix bug in pushing to global registry