corrections in documentation of var_property/2