Fixes #8290.