Fix #13351