document isdefined() (#3297)