Some simplification in example