Corrected example output