Fix #3882