Clarified an example