Correct the isDefined example