Fixes #9520