Fix-up incorrect version push