Also fix external name in _objs_from_sth .