Fixes #9092