Fixes #9497