Some inline docs in get_property.