small fixes in example