Minor change in example 18