* Fixes #9308