added __isset()