Fix #11983