Fixes #9415.