Fix #9528