Property: remove now unused to_str()