Fixes #9673