Fix docker-push