fixup! more explicit push command