Fix #3980