Fix #4013267