push.default, other tweaks