Fixes #9027