Fixed #1180: cout defect