Minor modification to comment in example 3