minor style fix in example