* Fixes #9307