fixes #9222