Small correction to examples