Removed in #3777