Small correction in example.