Small change in an example