corrected example output