minor bugfix on property_exists