Add missing flush().