Add a missing flush after print