Fixes #9260