Fix #11814?