Fix type in example