Fixes #7253

Good call.