Fix #9070