Fix #3790