fix a type in the example