More examples with corrected output