Fixes #9073