Fix #3960