minor fix in example section