Implicitly defined push.default to get rid of message