could you add "Fixes #9033." below your description?