Removed in #253.