fixes to add_owned_inverse