Correction to examples