Fix #13744