Fix silly type error in example