Fix #11752