It is also fine to leave as is and file a bug and I'll get to it. Maybe it is not as simple as replacing it with `$defineProperties`?