Minor error in example