A small optimization to the new code in msg2sndr_flush().