This fixes #7892.  It has been renamed.