`Fixes #8516.`