Minor usability tweaks for pushing a new version