Fix #13659