Fix #13997