Fix push-tail for relaxed nodes