Fix push-pull screwup